* If the local APIC is going to be used after being disabled above, * re-enable it and don't disable it in the future. */
| 508 | * re-enable it and don't disable it in the future. |
| 509 | */ |
| 510 | void |
| 511 | ppro_reenable_apic(void) |
| 512 | { |
| 513 | u_int64_t apicbase; |
| 514 | |
| 515 | if (ppro_apic_used == 0) { |
| 516 | apicbase = rdmsr(MSR_APICBASE); |
| 517 | apicbase |= APICBASE_ENABLED; |
| 518 | wrmsr(MSR_APICBASE, apicbase); |
| 519 | ppro_apic_used = 1; |
| 520 | } |
| 521 | } |
| 522 | |
| 523 | /* |
| 524 | * Initialize BBL_CR_CTL3 (Control register 3: used to configure the |