MSR_APIC_000
ASSERT3U(msr, >=, MSR_APIC_000);
ASSERT3U(msr, <, (MSR_APIC_000 + 0x100));
return ((msr - MSR_APIC_000) << 4);
if (msr >= MSR_APIC_000 &&
msr < (MSR_APIC_000 + 0x100)) {