VCPU_NOTIFY_EXIT
return (VCPU_NOTIFY_EXIT);
return (VCPU_NOTIFY_EXIT);
return (VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
VCPU_NOTIFY_EXIT);
ASSERT(ntype == VCPU_NOTIFY_APIC || VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);