Searched refs:IPCBUF_GDT_SELECTOR (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/ia32/
H A Dcrt0.S38 movw $IPCBUF_GDT_SELECTOR, %ax
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/ia32/
H A Dcrt0.S38 movw $IPCBUF_GDT_SELECTOR, %ax
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h17 #define IPCBUF_GDT_SELECTOR ((IPCBUF_GDT_ENTRY << 3) | 3) macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h17 #define IPCBUF_GDT_SELECTOR ((IPCBUF_GDT_ENTRY << 3) | 3) macro
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h15 #define IPCBUF_GDT_SELECTOR ((IPCBUF_GDT_ENTRY << 3) | 3) macro
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h15 #define IPCBUF_GDT_SELECTOR ((IPCBUF_GDT_ENTRY << 3) | 3) macro

Completed in 107 milliseconds