Symbol: vlapic_set_tpr
sys/amd64/vmm/io/vlapic.c
1496
vlapic_set_tpr(vlapic, data & 0xff);
sys/amd64/vmm/io/vlapic.c
940
vlapic_set_tpr(vlapic, tpr);