NVMM_VCPU_EXIT_INT_READY
exit->reason = NVMM_VCPU_EXIT_INT_READY;
if (exit->reason == NVMM_VCPU_EXIT_INT_READY) {
case NVMM_VCPU_EXIT_INT_READY: