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