MSR_AMD7TH_START
if (msr >= MSR_AMD7TH_START && msr <= MSR_AMD7TH_END) {
off = (msr - MSR_AMD7TH_START);
print_msr_pm(msr + MSR_AMD7TH_START, vcpu, readable,