#include <common.h>
#include <mem/gdt.h>
#include <tasks/tss.h>
Go to the source code of this file.
|
void | gdt_init_entry (size_t entry, uint32_t base, uint32_t limit) |
| Sets basic parameters of a GDT entry. More...
|
|
static void | gdt_load () |
| Loads the GDT into the GDTR register.
|
|
void | gdt_flush () |
| Loads the kernel code and data segments into the segment registers. More...
|
|
void | gdt_init () |
| Initializes the GDT. More...
|
|
uint16_t | gdt_get_selector (size_t entry) |
| Returns a selector ready to be loaded in a segment register. More...
|
|