void tss_set_stack(uint32_t stack_pointer)
Sets the TSS's kernel stack which is used to handle interrupts.
void tss_init(gdt_entry_t *gdt)
Initializes the TSS.
void tss_load()
Loads the TSS into the TR register.
static gdt_entry_t gdt[GDT_ENTRIES]
The GDT itself. It is located inside the kernel.