#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (prctl-riscv-v-ctrl-success-Xraw +prctl-success.sh PRCTL_INJECT_RETVALS="0 6 11 12 17 31 32 42 0x57ae57f4" -a12 -Xraw); do not edit.
set -- PRCTL_INJECT_RETVALS="0 6 11 12 17 31 32 42 0x57ae57f4" -a12 -Xraw
. "${srcdir=.}/prctl-success.sh"
