[Krafton Jungle] PintOS 2.0.0
크래프톤 정글 PintOS
 
Loading...
Searching...
No Matches
gdt.h
Go to the documentation of this file.
1#ifndef USERPROG_GDT_H
2#define USERPROG_GDT_H
3
4#include "threads/loader.h"
5
6void gdt_init (void);
7
8#endif /* userprog/gdt.h */
gdt_init
void gdt_init(void)
Definition: gdt.c:83