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