Home
last modified time | relevance | path

Searched refs:gdt (Results 1 – 6 of 6) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c63 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) in init_gdt() argument
68 gdt[GDT_NULL] = gdt_entry_gdt_null_new(); in init_gdt()
71 gdt[GDT_CS_0] = gdt_entry_gdt_code_new( in init_gdt()
87 gdt[GDT_DS_0] = gdt_entry_gdt_data_new( in init_gdt()
103 gdt[GDT_CS_3] = gdt_entry_gdt_code_new( in init_gdt()
119 gdt[GDT_DS_3] = gdt_entry_gdt_data_new( in init_gdt()
135 gdt[GDT_TSS] = gdt_entry_gdt_tss_new( in init_gdt()
149 gdt[GDT_FS] = gdt_entry_gdt_data_new( in init_gdt()
164 gdt[GDT_GS] = gdt_entry_gdt_data_new( in init_gdt()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c340 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) in init_gdt() argument
346 gdt[GDT_NULL] = gdt_entry_gdt_null_new(); in init_gdt()
348 gdt[GDT_CS_0] = gdt_entry_gdt_code_new( in init_gdt()
363 gdt[GDT_DS_0] = gdt_entry_gdt_data_new( in init_gdt()
377 gdt[GDT_CS_3] = gdt_entry_gdt_code_new( in init_gdt()
392 gdt[GDT_DS_3] = gdt_entry_gdt_data_new( in init_gdt()
406 gdt[GDT_FS] = gdt_entry_gdt_data_new( in init_gdt()
420 gdt[GDT_GS] = gdt_entry_gdt_data_new( in init_gdt()
448 gdt[GDT_TSS].words[0] = gdt_tss.words[0]; in init_gdt()
449 gdt[GDT_TSS + 1].words[0] = gdt_tss.words[1]; in init_gdt()
/seL4-master/src/arch/x86/64/
A Dmachine_asm.S76 lgdt (%rdi) # load gdtr with gdt pointer
/seL4-master/src/arch/x86/32/
A Dmachine_asm.S30 lgdt (%eax) # load gdtr register with gdt pointer
/seL4-master/include/arch/x86/arch/kernel/
A Dvspace.h54 void init_gdt(gdt_entry_t *gdt, tss_t *tss);
/seL4-master/src/arch/x86/
A Dconfig.cmake206 "gdt;KernelFSGSBaseGDT;FSGSBASE_GDT;KernelSel4ArchIA32"

Completed in 14 milliseconds