Symbol: vlapic_reset
sys/amd64/vmm/io/vlapic.c
1159
vlapic_reset(vlapic);
sys/amd64/vmm/io/vlapic.c
1612
vlapic_reset(vlapic);
sys/amd64/vmm/io/vlapic.c
84
static void vlapic_reset(struct vlapic *vlapic);