Symbol: vlapic_sync_tpr
sys/amd64/vmm/intel/vmx.c
2824
vlapic_sync_tpr(vlapic);
sys/amd64/vmm/io/vlapic.h
76
void vlapic_sync_tpr(struct vlapic *vlapic);