Searched refs:GDT_CS_3 (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S15 #define GDT_CS_3 3 define
23 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3)
H A Dtraps.S71 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h15 #define GDT_CS_3 3 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h19 #define GDT_CS_3 5 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h42 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c103 gdt[GDT_CS_3] = gdt_entry_gdt_code_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c377 gdt[GDT_CS_3] = gdt_entry_gdt_code_new(

Completed in 42 milliseconds