Symbol: MSR_AMD_TSCAUX
usr/src/uts/i86pc/os/mlsetup.c
375
(void) wrmsr(MSR_AMD_TSCAUX, 0);
usr/src/uts/i86pc/os/mp_startup.c
1785
(void) wrmsr(MSR_AMD_TSCAUX, cp->cpu_id);