Searched refs:GDT_GS (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h138 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], base & 0xFFFF);
139 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 16) & 0xFF);
140 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 24) & 0xFF);
162 base &= gdt_entry_gdt_data_ptr_get_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS]) & 0xFFFF;
163 base &= (gdt_entry_gdt_data_ptr_get_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS]) & 0xFF) << 16;
164 base &= (gdt_entry_gdt_data_ptr_get_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS]) & 0xFF) << 24;
/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S19 #define GDT_GS 7 define
26 #define SEL_GS ((GDT_GS << 3) | 3)
H A Dtraps.S68 #define GDT_GS 7 define
74 #define SEL_GS ((GDT_GS << 3) | 3)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h19 #define GDT_GS 7 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h22 #define GDT_GS 8 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h46 #define SEL_GS ((GDT_GS << 3) | 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c164 gdt[GDT_GS] = gdt_entry_gdt_data_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c420 gdt[GDT_GS] = gdt_entry_gdt_data_new(

Completed in 41 milliseconds