blob: 63ff08b7d691778ff44ccdb7fec0d5c2304c8978 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#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
|