xc_call
xc_call(0, 0, 0, CPUSET2BV(poke), (xc_func_t)siron_poke_intr);
xc_call(0, 0, 0, CPUSET2BV(cpu_set),
xc_call(0, 0, 0, CPUSET2BV(cpu_set),
xc_call(0, 0, 0, CPUSET2BV(set),
xc_call(xc_arg, 0, 0,
xc_call((xc_arg_t)req_state, 0, 0,
xc_call((xc_arg_t)req_state, 0, 0, CPUSET2BV(set),
xc_call((xc_arg_t)arg1, (xc_arg_t)arg2, 0, CPUSET2BV(set),
extern void xc_call(xc_arg_t, xc_arg_t, xc_arg_t, ulong_t *, xc_func_t);
xc_call((xc_arg_t)hat, (xc_arg_t)&range, 0,
xc_call((xc_arg_t)msr, (xc_arg_t)valp, (xc_arg_t)&ret,
xc_call((xc_arg_t)NULL, (xc_arg_t)NULL, (xc_arg_t)NULL,
xc_call(0, 0, 0, CPUSET2BV(cpuset), kdi_cpu_activate);
xc_call(0, 0, 0, CPUSET2BV(cpuset), kdi_cpu_deactivate);
xc_call((xc_arg_t)flag, (xc_arg_t)eptp, 0, CPUSET2BV(set),
xc_call(0, 0, 0, CPUSET2BV(set), hma_vmx_cpu_vmxon);
xc_call((xc_arg_t)INVEPT_ALL_CONTEXTS, 0, 0,
xc_call(0, 0, 0, CPUSET2BV(set), hma_svm_cpu_activate);
xc_call(0, 0, 0, CPUSET2BV(set), \