Symbol: vlapic_post_intr
sys/amd64/vmm/io/vlapic.h
71
void vlapic_post_intr(struct vlapic *vlapic, int hostcpu, int ipinum);
sys/amd64/vmm/vmm.c
1717
vlapic_post_intr(vcpu->vlapic, vcpu->hostcpu, vmm_ipinum);