vcpu_notify_event_locked
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);
static void vcpu_notify_event_locked(struct vcpu *vcpu, vcpu_notify_t);
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu,
vcpu_notify_event_locked(vcpu, VCPU_NOTIFY_EXIT);
vcpu_notify_event_locked(vcpu, ntype);