Symbol: vlapic_get_tpr
sys/amd64/vmm/io/vlapic.c
1375
*data = vlapic_get_tpr(vlapic);
sys/amd64/vmm/io/vlapic.c
948
tpr = vlapic_get_tpr(vlapic);