Symbol: vlapic_set_tmr
sys/amd64/vmm/io/vlapic.c
1770
vlapic_set_tmr(vlapic, vector, false);
sys/amd64/vmm/io/vlapic.c
1798
vlapic_set_tmr(vlapic, vector, true);