Searched defs:IA32_APIC_BASE_MSR (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/64/ | ||
H A D | head.S | 28 #define IA32_APIC_BASE_MSR 0x01B define |
/seL4-test-master/kernel/include/arch/x86/arch/ | ||
H A D | machine.h | 18 #define IA32_APIC_BASE_MSR 0x01B macro |
Completed in 81 milliseconds