Home
last modified time | relevance | path

Searched refs:vcpu_notify_event_locked (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm.c155 static void vcpu_notify_event_locked(struct vcpu *vcpu);
730 vcpu_notify_event_locked(struct vcpu *vcpu) in vcpu_notify_event_locked() function
759 vcpu_notify_event_locked(vcpu); in vcpu_notify_event()
824 vcpu_notify_event_locked(vcpu); in vcpu_set_state_locked()
/freebsd/sys/arm64/vmm/
H A Dvmm.c218 static void vcpu_notify_event_locked(struct vcpu *vcpu);
1026 vcpu_notify_event_locked(struct vcpu *vcpu) in vcpu_notify_event_locked() function
1055 vcpu_notify_event_locked(vcpu); in vcpu_notify_event()
1121 vcpu_notify_event_locked(vcpu); in vcpu_set_state_locked()
/freebsd/sys/amd64/vmm/
H A Dvmm.c278 static void vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr);
1012 vcpu_notify_event_locked(vcpu, false); in vcpu_set_state_locked()
2267 vcpu_notify_event_locked(struct vcpu *vcpu, bool lapic_intr) in vcpu_notify_event_locked() function
2301 vcpu_notify_event_locked(vcpu, lapic_intr); in vcpu_notify_event()