1 #include <arch/x86/gdt.h>
6 uint64_t _gdt[GDT_ENTRY];
7 uint16_t _gdt_limit = sizeof(_gdt) - 1;
9 void _set_gdt_entry(uint32_t index, uint32_t base, uint32_t limit, uint32_t flags) {
10 _gdt[index] = SEG_BASE_H(base) | flags | SEG_LIM_H(limit) | SEG_BASE_M(base);
12 _gdt[index] |= SEG_BASE_L(base) | SEG_LIM_L(limit);
18 _set_gdt_entry(0, 0, 0, 0);
19 _set_gdt_entry(1, 0, 0xfffff, SEG_R0_CODE);
20 _set_gdt_entry(2, 0, 0xfffff, SEG_R0_DATA);
21 _set_gdt_entry(3, 0, 0xfffff, SEG_R3_CODE);
22 _set_gdt_entry(4, 0, 0xfffff, SEG_R3_DATA);