Searched refs:vcpu_notify_event_locked (Results 1 – 1 of 1) sorted by relevance
270 static void vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr);1192 vcpu_notify_event_locked(vcpu, false); in vcpu_set_state_locked()2489 vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr) in vcpu_notify_event_locked() function2525 vcpu_notify_event_locked(vcpu, lapic_intr); in vcpu_notify_event()