Symbol: vlapic_get_lvtptr
sys/amd64/vmm/io/vlapic.c
1425
reg = vlapic_get_lvtptr(vlapic, offset);
sys/amd64/vmm/io/vlapic.c
1524
regptr = vlapic_get_lvtptr(vlapic, offset);
sys/amd64/vmm/io/vlapic.c
387
lvtptr = vlapic_get_lvtptr(vlapic, offset);