Symbol: vlapic_refresh_lvts
usr/src/uts/intel/io/vmm/io/vlapic.c
2028
vlapic_refresh_lvts(vlapic);
usr/src/uts/intel/io/vmm/io/vlapic.c
479
vlapic_refresh_lvts(vlapic);