#ifndef _GDT_EC_H
#define _GDT_EC_H

#include <types.h>

void create_descriptor(uint32_t base, uint32_t limit, uint16_t flag);

#endif