Searched defs:SEL_DS_0 (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/src/arch/x86/32/ | ||
| A D | machine_asm.S | 22 #define SEL_DS_0 (GDT_DS_0 << 3) macro |
| /seL4-master/include/arch/x86/arch/object/ | ||
| A D | structures.h | 41 #define SEL_DS_0 (GDT_DS_0 << 3) macro |
Completed in 3 milliseconds