Symbol: vlapic_set_tpr
usr/src/uts/intel/io/vmm/io/vlapic.c
1344
vlapic_set_tpr(vlapic, data & 0xff);
usr/src/uts/intel/io/vmm/io/vlapic.c
935
vlapic_set_tpr(vlapic, tpr);