#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...
|
| |