Searched refs:IA32_APIC_BASE_MSR (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c20 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
35 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
44 x86_wrmsr(IA32_APIC_BASE_MSR, apic_base_msr.words[0]);
H A Dapic.c42 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
H A Dxapic.c38 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dmachine.h23 #define IA32_APIC_BASE_MSR 0x01B macro
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dhead.S24 #define IA32_APIC_BASE_MSR 0x01B define

Completed in 49 milliseconds