Searched refs:vcpu_notify_event_locked (Results 1 – 1 of 1) sorted by relevance
240 static void vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr);1166 vcpu_notify_event_locked(vcpu, false); in vcpu_set_state_locked()2463 vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr) in vcpu_notify_event_locked() function2499 vcpu_notify_event_locked(vcpu, lapic_intr); in vcpu_notify_event()