-#ifndef HEADER_GDT_H
-#define HEADER_GDT_H 1
+#ifndef USERPROG_GDT_H
+#define USERPROG_GDT_H
-#include "loader.h"
+#include "threads/loader.h"
/* Segment selectors.
More selectors are defined by the loader in loader.h. */
void gdt_init (void);
-#endif /* gdt.h */
+#endif /* userprog/gdt.h */