MSR_APICBASE
uint64_t base = rdmsr(MSR_APICBASE);
uint64_t base = rdmsr(MSR_APICBASE);
(void) rdmsr(MSR_APICBASE);
if (msr == MSR_APICBASE) {
if (msr == MSR_APICBASE) {
if (msr == MSR_APICBASE) {