Searched refs:apicbase (Results 1 – 1 of 1) sorted by relevance
493 u_int64_t apicbase; in init_ppro() local499 apicbase = rdmsr(MSR_APICBASE); in init_ppro()500 apicbase &= ~APICBASE_ENABLED; in init_ppro()501 wrmsr(MSR_APICBASE, apicbase); in init_ppro()513 u_int64_t apicbase; in ppro_reenable_apic() local516 apicbase = rdmsr(MSR_APICBASE); in ppro_reenable_apic()517 apicbase |= APICBASE_ENABLED; in ppro_reenable_apic()518 wrmsr(MSR_APICBASE, apicbase); in ppro_reenable_apic()