Searched defs:gdt (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ | ||
H A D | gdt_32.c | 69 static struct segment_descriptor gdt[GDTCOUNT] variable in typeref:struct:segment_descriptor [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/ | ||
H A D | machdep.c | 97 static struct segment_descriptor gdt[4]; variable in typeref:struct:segment_descriptor |
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ | ||
H A D | vspace.c | 63 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) argument |
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ | ||
H A D | vspace.c | 340 BOOT_CODE void init_gdt(gdt_entry_t *gdt, tss_t *tss) argument [all...] |
Completed in 41 milliseconds