#ifndef KGDT_H
#define KGDT_H

void init_gdt();

#endif