Searched refs:SEL_GS (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S26 #define SEL_GS ((GDT_GS << 3) | 3) define
36 movw $SEL_GS, %ax # load register ax with seg selector GS
H A Dtraps.S74 #define SEL_GS ((GDT_GS << 3) | 3) define
80 SET_SELECTOR(gs, SEL_GS, tmp)
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/
H A Dmachine.h145 : "i"(SEL_GS)
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dstructures.h46 #define SEL_GS ((GDT_GS << 3) | 3) macro

Completed in 49 milliseconds