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