Searched defs:IA32_APIC_BASE_MSR (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/ | ||
H A D | head.S | 24 #define IA32_APIC_BASE_MSR 0x01B define |
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ | ||
H A D | machine.h | 23 #define IA32_APIC_BASE_MSR 0x01B macro |
Completed in 33 milliseconds