NVMM_VCPU_EXIT_IO
if (__predict_false(exit->reason != NVMM_VCPU_EXIT_IO)) {
exit->reason = NVMM_VCPU_EXIT_IO;
case NVMM_VCPU_EXIT_IO: