src/kernel/gdt/gdt.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#ifndef MELVIX_GDT_H
#define MELVIX_GDT_H

#include <stdint.h>

/**
 * Installs the Global Descriptor Table
 */
void gdt_install();

void tss_write(s32 num, u16 ss0, u32 esp0);

void tss_flush();

void set_kernel_stack(u32 stack);

#endif