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

/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S17 #define GDT_TSS 5 define
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h17 #define GDT_TSS 5 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h18 #define GDT_TSS 3 //TSS is two slots in x86-64 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h44 #define SEL_TSS (GDT_TSS << 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c135 gdt[GDT_TSS] = gdt_entry_gdt_tss_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c448 gdt[GDT_TSS].words[0] = gdt_tss.words[0];
449 gdt[GDT_TSS + 1].words[0] = gdt_tss.words[1];

Completed in 164 milliseconds