VCPU_NOTIFY_APIC
notify = VCPU_NOTIFY_APIC;
ASSERT(ntype == VCPU_NOTIFY_APIC || VCPU_NOTIFY_EXIT);
if (ntype == VCPU_NOTIFY_APIC) {