Symbol: vcpu_notify_event_locked
sys/amd64/vmm/vmm.c
1719
vcpu_notify_event_locked(vcpu);
sys/dev/vmm/vmm_vm.c
316
vcpu_notify_event_locked(vcpu);
sys/dev/vmm/vmm_vm.c
95
vcpu_notify_event_locked(vcpu);
sys/dev/vmm/vmm_vm.h
62
void vcpu_notify_event_locked(struct vcpu *vcpu);