#ifndef GDT_H
#define GDT_H

#include <stdint.h>

void gdt_init(void);

#endif