Symbol: vlapic_enabled
sys/amd64/vmm/io/vlapic.c
1894
vlapic_enabled(vlapic) && lapic->icr_timer != 0) {
sys/amd64/vmm/io/vlapic.c
672
if (vlapic_enabled(vlapic) == false) {
sys/amd64/vmm/io/vlapic.h
81
bool vlapic_enabled(struct vlapic *vlapic);