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

/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S16 #define GDT_DS_3 4 define
24 #define SEL_DS_3 ((GDT_DS_3 << 3) | 3)
H A Dtraps.S66 #define GDT_DS_3 4 define
72 #define SEL_DS_3 ((GDT_DS_3 << 3) | 3)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h16 #define GDT_DS_3 4 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h20 #define GDT_DS_3 6 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h43 #define SEL_DS_3 ((GDT_DS_3 << 3) | 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c119 gdt[GDT_DS_3] = gdt_entry_gdt_data_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c392 gdt[GDT_DS_3] = gdt_entry_gdt_data_new(

Completed in 99 milliseconds