Home
last modified time | relevance | path

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

/freebsd/sys/dev/vmm/
H A Dvmm_vm.c95 vcpu_notify_event_locked(vcpu); in vcpu_wait_idle()
287 vcpu_notify_event_locked(struct vcpu *vcpu) in vcpu_notify_event_locked() function
316 vcpu_notify_event_locked(vcpu); in vcpu_notify_event()
H A Dvmm_vm.h62 void vcpu_notify_event_locked(struct vcpu *vcpu);
/freebsd/sys/amd64/vmm/
H A Dvmm.c1719 vcpu_notify_event_locked(vcpu); in vcpu_notify_lapic()