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

/seL4-test-master/kernel/include/arch/x86/arch/model/
H A Dstatedata.h60 gdt_entry_t x86KSgdt[GDT_ENTRIES];
63 PAD_TO_NEXT_CACHE_LN(sizeof(tss_io_t) + GDT_ENTRIES *sizeof(gdt_entry_t) + IDT_ENTRIES *sizeof(idt_entry_t));
/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S20 #define GDT_ENTRIES 8 define
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h20 #define GDT_ENTRIES 8 macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h23 #define GDT_ENTRIES 9 macro
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c376 gdt_idt_ptr.limit = (sizeof(gdt_entry_t) * GDT_ENTRIES) - 1;
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c505 gdt_idt_ptr.limit = (sizeof(gdt_entry_t) * GDT_ENTRIES) - 1;

Completed in 43 milliseconds