#ifndef GDT_H
#define GDT_H

void init_gdt();

#endif
