#ifndef HAL_GDT_H_
#define HAL_GDT_H_

void gdt_init(void);

#endif // HAL_GDT_H_