VCPU_NOTIFY_NONE
vcpu_notify_t notify = VCPU_NOTIFY_NONE;
return (VCPU_NOTIFY_NONE);
if (ntype == VCPU_NOTIFY_NONE) {