#ifndef _GDT_H_
#define _GDT_H_

#include <stdint.h>
#include <stddef.h>

void gdt_set_gate(size_t num, uint64_t base, uint32_t limit, uint8_t access, uint8_t gran);
void gdt_install();

#endif