MSR_APICBASE
msr = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, msr);
case MSR_APICBASE: return "APIC base";
case MSR_APICBASE: vmm_decode_apicbase_msr_value(val); break;