Symbol: vlapic_sync_tpr
usr/src/uts/intel/io/vmm/intel/vmx.c
2560
vlapic_sync_tpr(vlapic);
usr/src/uts/intel/io/vmm/intel/vmx.c
3752
vlapic_sync_tpr(vlapic);
usr/src/uts/intel/io/vmm/io/vlapic.h
91
void vlapic_sync_tpr(struct vlapic *vlapic);