GPR_X
vme->u.smccc_call.func_id = hypctx_read_sys_reg(hypctx, GPR_X(0));
vme->u.smccc_call.args[i] = hypctx_read_sys_reg(hypctx, GPR_X(i + 1));
return hypctx_sys_reg(hypctx, GPR_X(reg));