Symbol: vlapic_post_intr
usr/src/uts/intel/io/vmm/io/vlapic.h
86
void vlapic_post_intr(struct vlapic *vlapic, int hostcpu);
usr/src/uts/intel/io/vmm/vmm.c
3626
vlapic_post_intr(vcpu->vlapic, hostcpu);