#ifndef GDT_H
#define GDT_H

void gdt_init();
void tss_stack_reset();

#endif