Searched refs:IA32_APIC_BASE_MSR (Results 1 – 2 of 2) sorted by relevance
111 if (!(apic_is_enable(cpu->number, IA32_APIC_BASE_MSR))) in dump_apics()114 phys_addr = apic_physical_address(cpu->number, IA32_APIC_BASE_MSR); in dump_apics()125 printf("APIC MSR Base(0x%02x): : ", IA32_APIC_BASE_MSR); in dump_apics()126 dump_apic_base_msr(cpu->number, IA32_APIC_BASE_MSR); in dump_apics()
3 #define IA32_APIC_BASE_MSR 0x1B macro