Searched refs:apicbase (Results 1 – 1 of 1) sorted by relevance
68 uint64_t apicbase = rdmsr(MSR_IA32_APICBASE); in guest_code() local74 wrmsr(MSR_IA32_APICBASE, apicbase | X2APIC_ENABLE); in guest_code()