Symbol: vlapic_get_lvt
usr/src/uts/intel/io/vmm/io/vlapic.c
1294
data = vlapic_get_lvt(vlapic, offset);
usr/src/uts/intel/io/vmm/io/vlapic.c
636
lvt = vlapic_get_lvt(vlapic, APIC_OFFSET_TIMER_LVT);