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

/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h124 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], base & 0xFFFF);
125 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 16) & 0xFF);
126 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 24) & 0xFF);
153 base &= gdt_entry_gdt_data_ptr_get_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS]) & 0xFFFF;
154 base &= (gdt_entry_gdt_data_ptr_get_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS]) & 0xFF) << 16;
155 base &= (gdt_entry_gdt_data_ptr_get_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS]) & 0xFF) << 24;
/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S18 #define GDT_FS 6 define
25 #define SEL_FS ((GDT_FS << 3) | 3)
H A Dtraps.S67 #define GDT_FS 6 define
73 #define SEL_FS ((GDT_FS << 3) | 3)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h18 #define GDT_FS 6 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h21 #define GDT_FS 7 macro
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h45 #define SEL_FS ((GDT_FS << 3) | 3)
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c149 gdt[GDT_FS] = gdt_entry_gdt_data_new(
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c406 gdt[GDT_FS] = gdt_entry_gdt_data_new(

Completed in 116 milliseconds