APICBASE_ENABLED
wrmsr(0x1B, rdmsr(0x1B) & ~APICBASE_ENABLED);
wrmsr(0x1B, rdmsr(0x1B) | APICBASE_ENABLED);
return ((vlapic->msr_apicbase & APICBASE_ENABLED) == 0);
vlapic->msr_apicbase = DEFAULT_APIC_BASE | APICBASE_ENABLED;