VM_EXITCODE_IPI
vmexit->exitcode = VM_EXITCODE_IPI;
if (error == 0 && vme->exitcode == VM_EXITCODE_IPI)
if (vme->exitcode == VM_EXITCODE_IPI) {
if (vme->exitcode == VM_EXITCODE_IPI) {
[VM_EXITCODE_IPI] = vmexit_ipi,