Symbol: vlapic_self_ipi_handler
sys/amd64/vmm/intel/vmx.c
2199
vlapic_self_ipi_handler(vlapic, vector);
sys/amd64/vmm/io/vlapic.c
1544
vlapic_self_ipi_handler(vlapic, data);
sys/amd64/vmm/io/vlapic.h
110
void vlapic_self_ipi_handler(struct vlapic *vlapic, uint64_t val);