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

/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S13 #define GDT_CS_0 1 define
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h13 #define GDT_CS_0 1 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h16 #define GDT_CS_0 1 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h40 #define SEL_CS_0 (GDT_CS_0 << 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c71 gdt[GDT_CS_0] = gdt_entry_gdt_code_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c348 gdt[GDT_CS_0] = gdt_entry_gdt_code_new(

Completed in 91 milliseconds