MSR_APICBASE
apicbase = rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, apicbase);
wrmsr(MSR_APICBASE, apicbase);
rdmsr_safe(MSR_APICBASE, &msr) == EFAULT)
lapic_base = (paddr_t)rdmsr(MSR_APICBASE);
wrmsr(MSR_APICBASE, lapic_base | APICBASE_EN);