MSR_AMD6TH_END
if (msr >= MSR_AMD6TH_START && msr <= MSR_AMD6TH_END) {
base += (MSR_AMD6TH_END - MSR_AMD6TH_START + 1);