Symbol: vcpu_notify_lapic
sys/amd64/include/vmm.h
283
void vcpu_notify_lapic(struct vcpu *vcpu);
sys/amd64/vmm/io/vlapic.c
460
vcpu_notify_lapic(vlapic->vcpu);
sys/amd64/vmm/vmm_lapic.c
65
vcpu_notify_lapic(vcpu);