Fix up header guards.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Sep 2004 05:38:45 +0000 (05:38 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Sep 2004 05:38:45 +0000 (05:38 +0000)
49 files changed:
src/devices/16550a.h
src/devices/disk.h
src/devices/kbd.h
src/devices/serial.h
src/devices/timer.h
src/devices/vga.h
src/filesys/directory.h
src/filesys/file.h
src/filesys/filehdr.h
src/filesys/filesys.h
src/filesys/fsutil.h
src/filesys/off_t.h
src/lib/ctype.h
src/lib/debug.h
src/lib/inttypes.h
src/lib/kernel/bitmap.h
src/lib/kernel/hash.h
src/lib/kernel/list.h
src/lib/limits.h
src/lib/random.h
src/lib/round.h
src/lib/stdarg.h
src/lib/stdbool.h
src/lib/stddef.h
src/lib/stdint.h
src/lib/stdio.h
src/lib/stdlib.h
src/lib/string.h
src/lib/syscall-nr.h
src/lib/user/syscall-stub.h
src/lib/user/syscall.h
src/lib/user/user.h
src/threads/init.h
src/threads/interrupt.h
src/threads/intr-stubs.h
src/threads/io.h
src/threads/loader.h
src/threads/malloc.h
src/threads/mmu.h
src/threads/paging.h
src/threads/palloc.h
src/threads/switch.h
src/threads/synch.h
src/threads/thread.h
src/userprog/addrspace.h
src/userprog/exception.h
src/userprog/gdt.h
src/userprog/syscall.h
src/userprog/tss.h

index b3cb37a6a804c5e29614f058c240ea35a6844720..99b7e578ad23478e13e06ed96c443c35cf9aabae 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_16550A_H
-#define HEADER_16550A_H 1
+#ifndef DEVICES_16550A_H
+#define DEVICES_16550A_H
 
 #include <debug.h>
 #include <stdbool.h>
@@ -120,4 +120,4 @@ make_lcr (int bits, enum parity_type parity, int stop, bool send_break,
 #define MSR_RI   0x40           /* Ring Indicator. */
 #define MSR_DCD  0x80           /* Data Carrier Detect. */
 
-#endif /* 16550a.h */
+#endif /* devices/16550a.h */
index 9e785e549937079554d063658550bc7372cc8ee0..539c4b0bafdd8c589125e30d05266c4ded065210 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_DISK_H
-#define HEADER_DISK_H 1
+#ifndef DEVICES_DISK_H
+#define DEVICES_DISK_H
 
 #include <inttypes.h>
 #include <stdint.h>
@@ -21,4 +21,4 @@ disk_sector_t disk_size (struct disk *);
 void disk_read (struct disk *, disk_sector_t, void *);
 void disk_write (struct disk *, disk_sector_t, const void *);
 
-#endif /* disk.h */
+#endif /* devices/disk.h */
index f08ef74a58d97d6b23e3a552242a0adcd5604094..b32b63117cd5264ea2d797da0c5b0ce5d039111d 100644 (file)
@@ -1,6 +1,6 @@
-#ifndef HEADER_KBD_H
-#define HEADER_KBD_H 1
+#ifndef DEVICES_KBD_H
+#define DEVICES_KBD_H
 
 void kbd_init (void);
 
-#endif /* kbd.h */
+#endif /* devices/kbd.h */
index 2b638005dc1ef6bd1be97e4385d71a62d1ce2432..672f8deb0ff88b4cd2c49f3de1d7bd08c4468756 100644 (file)
@@ -1,9 +1,9 @@
-#ifndef HEADER_SERIAL_H
-#define HEADER_SERIAL_H 1
+#ifndef DEVICES_SERIAL_H
+#define DEVICES_SERIAL_H
 
 #include <stdint.h>
 
 void serial_init (void);
 void serial_outb (uint8_t);
 
-#endif /* serial.h */
+#endif /* devices/serial.h */
index 33fdaec3ce90e45ff6d83a90831201ddfa170dcf..ba736d2a28d6d7e23c9ce41d4da06006f2877554 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_TIMER_H
-#define HEADER_TIMER_H 1
+#ifndef DEVICES_TIMER_H
+#define DEVICES_TIMER_H
 
 #include <stdint.h>
 
@@ -13,4 +13,4 @@ void timer_msleep (int64_t ms);
 void timer_usleep (int64_t us);
 void timer_nsleep (int64_t ns);
 
-#endif /* timer.h */
+#endif /* devices/timer.h */
index 2221034883af29f1c6566c95abc4ba5977a21f42..190cf2158952123f27a55397b4c8ea6650eab024 100644 (file)
@@ -1,7 +1,7 @@
-#ifndef HEADER_VGA_H
-#define HEADER_VGA_H 1
+#ifndef DEVICES_VGA_H
+#define DEVICES_VGA_H
 
 void vga_init (void);
 void vga_putc (int);
 
-#endif /* vga.h */
+#endif /* devices/vga.h */
index a3364aeb75e1d076002842fcd47ded7886ea2920..4464d466baffa0b04fca022e8f9d72939f7b6884 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_DIRECTORY_H
-#define HEADER_DIRECTORY_H 1
+#ifndef FILESYS_DIRECTORY_H
+#define FILESYS_DIRECTORY_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -36,4 +36,4 @@ bool dir_remove (struct dir *, const char *name);
 void dir_list (const struct dir *);
 void dir_dump (const struct dir *);
 
-#endif /* directory.h */
+#endif /* filesys/directory.h */
index 28495c23c307c85a39279512318806191dd465c7..ea716aae032ffb78353c37c7dfc67f4ca620b1ee 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_FILE_H
-#define HEADER_FILE_H 1
+#ifndef FILESYS_FILE_H
+#define FILESYS_FILE_H
 
 #include <stdbool.h>
 #include <stdint.h>
@@ -24,4 +24,4 @@ off_t file_length (struct file *);
 void file_seek (struct file *, off_t);
 off_t file_tell (struct file *);
 
-#endif /* file.h */
+#endif /* filesys/file.h */
index 7c9f37f27ba1e510e282f4945cdd4fe5fcf5ddba..60bca9619d452a26f08800cc089733b89e738491 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_FILEHDR_H
-#define HEADER_FILEHDR_H 1
+#ifndef FILESYS_FILEHDR_H
+#define FILESYS_FILEHDR_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -29,4 +29,4 @@ disk_sector_t filehdr_byte_to_sector (const struct filehdr *, off_t);
 off_t filehdr_length (const struct filehdr *);
 void filehdr_print (const struct filehdr *);
 
-#endif /* filehdr.h */
+#endif /* filesys/filehdr.h */
index 6e6c13610ab6522732804dad68d3fe2e1437a535..44c89f48b4eb25b06155ee101be36404c3bbc7ec 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_FILESYS_H
-#define HEADER_FILESYS_H 1
+#ifndef FILESYS_FILESYS_H
+#define FILESYS_FILESYS_H
 
 #include <stdbool.h>
 #include <stdint.h>
@@ -18,4 +18,4 @@ bool filesys_dump (void);
 
 void filesys_self_test (void);
 
-#endif /* filesys.h */
+#endif /* filesys/filesys.h */
index b37c5b6217c9c00d98662b17742d0a7468df4204..8962a8a7bfa4856fcf43bd8850197ff2edcbada1 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_FSUTIL_H
-#define HEADER_FSUTIL_H 1
+#ifndef FILESYS_FSUTIL_H
+#define FILESYS_FSUTIL_H
 
 #include <stdbool.h>
 
@@ -12,4 +12,4 @@ extern bool fsutil_dump_filesys;
 void fsutil_run (void);
 void fsutil_print (const char *filename);
 
-#endif /* fsutil.h */
+#endif /* filesys/fsutil.h */
index 84475e11dd3c7ad1b56dfa4886aa851e9f1605ef..55ff174cd0ae5cb52583b847785007b43412ffa2 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_OFF_T_H
-#define HEADER_OFF_T_H 1
+#ifndef FILESYS_OFF_T_H
+#define FILESYS_OFF_T_H
 
 #include <stdint.h>
 
@@ -8,4 +8,4 @@
    definition but not any others. */
 typedef int32_t off_t;
 
-#endif /* off_t.h */
+#endif /* filesys/off_t.h */
index fafa51fdba6cb8b6084a7a25cf27879d2e9fc75c..d0baf4fef9673526ba8a5b79be73af8f58b9d099 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_CTYPE_H
-#define LIB_CTYPE_H 1
+#ifndef __LIB_CTYPE_H
+#define __LIB_CTYPE_H
 
 static inline int islower (int c) { return c >= 'a' && c <= 'z'; }
 static inline int isupper (int c) { return c >= 'A' && c <= 'Z'; }
index 2af8ba421ebe248b07c3a03d5e80fe09dbba3acc..947dff204f17fab746107a8def7b097d23a3db52 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_DEBUG_H
-#define HEADER_DEBUG_H 1
+#ifndef __LIB_DEBUG_H
+#define __LIB_DEBUG_H
 
 /* GCC lets us add "attributes" to functions, function
    parameters, etc. to indicate their properties.
@@ -45,4 +45,4 @@ void debug_backtrace (void);
 #else
 #define ASSERT(CONDITION) ((void) 0)
 #define NOT_REACHED() for (;;)
-#endif
+#endif /* lib/debug.h */
index 70bb8980b722c1bc7cf16ddc40125a76a1a3a449..08ee8fe0ffc6b0e054871063e813a7740214ee42 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_INTTYPES_H
-#define LIB_INTTYPES_H
+#ifndef __LIB_INTTYPES_H
+#define __LIB_INTTYPES_H
 
 #define PRId8 "hhd"
 #define PRId16 "hd"
index ada1354d26944ab8d1bb1a8f1b26f0526f296fcd..f70688b28662e70233cef635a2c1dcece495808b 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_BITMAP_H
-#define HEADER_BITMAP_H 1
+#ifndef __LIB_KERNEL_BITMAP_H
+#define __LIB_KERNEL_BITMAP_H
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -60,4 +60,4 @@ void bitmap_write (const struct bitmap *, struct file *);
 
 void bitmap_dump (const struct bitmap *);
 
-#endif /* bitmap.h */
+#endif /* lib/kernel/bitmap.h */
index e37592bfbeae5d32ac2928dcecb8b6470b1f0ad2..b7eadd31a57a147b7590efb142383bf2ab612e43 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_HASH_H
-#define HEADER_HASH_H 1
+#ifndef __LIB_KERNEL_HASH_H
+#define __LIB_KERNEL_HASH_H
 
 /* Hash table.
 
@@ -88,4 +88,4 @@ unsigned hash_bytes (const void *, size_t);
 unsigned hash_string (const char *);
 unsigned hash_int (int);
 
-#endif /* hash.h */
+#endif /* lib/kernel/hash.h */
index 1bf66312553cc4ec271840f6fb39c287dd7a2735..88ed5952650a033de6d36a84e171eb79dc502f3b 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_LIST_H
-#define HEADER_LIST_H 1
+#ifndef __LIB_KERNEL_LIST_H
+#define __LIB_KERNEL_LIST_H
 
 /* Doubly linked list.
 
@@ -162,4 +162,4 @@ void list_insert_ordered (struct list *, list_elem *,
 void list_unique (struct list *, struct list *duplicates,
                   list_less_func *, void *aux);
 
-#endif /* list.h */
+#endif /* lib/kernel/list.h */
index 930a97b64deb1d22ac3ec6ebe5be16261f40a0b7..c957ec43e5075bcdc26230e20a93ef6f013bfa58 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_LIMITS_H
-#define LIB_LIMITS_H
+#ifndef __LIB_LIMITS_H
+#define __LIB_LIMITS_H
 
 #define CHAR_BIT 8
 
index cc6eed41bf28f0788c0be709bae1d21754c59130..0950ae2e0e76f54f6f018c457d14d6a3e2daf5e0 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_RANDOM_H
-#define HEADER_RANDOM_H 1
+#ifndef __LIB_RANDOM_H
+#define __LIB_RANDOM_H
 
 #include <stddef.h>
 
@@ -7,4 +7,4 @@ void random_init (unsigned seed);
 void random_bytes (void *, size_t);
 unsigned long random_ulong (void);
 
-#endif /* random.h */
+#endif /* lib/random.h */
index df0fb4af0f2e016bc6f8a0d2af2d134a7f06880b..3aa66427409c4e3be1e061a8d910cba38b4766f3 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_ROUND_H
-#define LIB_ROUND_H
+#ifndef __LIB_ROUND_H
+#define __LIB_ROUND_H
 
 /* Yields X rounded up to the nearest multiple of STEP.
    For X >= 0, STEP >= 1 only. */
index 690bb284906c40f9c9113199115cb6c2b5df0435..32622b5ab70a6065b091eaf0d14542f09eae1882 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDARG_H
-#define LIB_STDARG_H
+#ifndef __LIB_STDARG_H
+#define __LIB_STDARG_H
 
 /* GCC has <stdarg.h> functionality as built-ins,
    so all we need is to use it. */
index 45fc51560e69ca8bd4ba19c9a17c1ff8fdb7d758..f173a912ad086ac0189191240fc728f5c8d81ece 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDBOOL_H
-#define LIB_STDBOOL_H
+#ifndef __LIB_STDBOOL_H
+#define __LIB_STDBOOL_H
 
 #define bool   _Bool
 #define true   1
index 836b8f21c1dfc8dab191894c4572fb97d7e7a45f..2a05bc9c980d845af6ed562377fc9401d0639d56 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDDEF_H
-#define LIB_STDDEF_H
+#ifndef __LIB_STDDEF_H
+#define __LIB_STDDEF_H
 
 #define NULL ((void *) 0)
 #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
index 2f0218fab4667a04535f7909515b73680d4c75e3..c7b78395801ef83e683b106da507f715c65b4351 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDINT_H
-#define LIB_STDINT_H
+#ifndef __LIB_STDINT_H
+#define __LIB_STDINT_H
 
 typedef signed char int8_t;
 #define INT8_MAX 127
index 71413870d47129d3129944ab09411463734a0edb..4609fb3be1e1cca30ebb13498c5c62cc78ae428e 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDIO_H
-#define LIB_STDIO_H
+#ifndef __LIB_STDIO_H
+#define __LIB_STDIO_H
 
 #include <debug.h>
 #include <stdbool.h>
index 0a8abcb166edf576c493ff0889caffef37ab55df..d2f9bba721a83ea69abd635685b304200dfdd61f 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STDLIB_H
-#define LIB_STDLIB_H
+#ifndef __LIB_STDLIB_H
+#define __LIB_STDLIB_H
 
 #include "stddef.h"
 
index 03ba7a00133201fd6730ffbdfe49bc9d6511575f..05b957f297ae78454738e9c41a2cff7e97ee5a17 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STRING_H
-#define LIB_STRING_H 1
+#ifndef __LIB_STRING_H
+#define __LIB_STRING_H
 
 #include "stddef.h"
 
index fa9bde91ecdd3008cf1aab568a42accc3b02ae8f..cf934499855829355613e9e4957e6b08ef6b92d3 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_SYSCALL_NR_H
-#define LIB_SYSCALL_NR_H 1
+#ifndef __LIB_SYSCALL-NR_H
+#define __LIB_SYSCALL-NR_H
 
 /* System call numbers. */
 #define SYS_halt 0              /* Halts the operating system. */
index 7d5d2e8b018b88f1f1ab18d1d61e443f9dcd8a68..80274bb5d1e4605770777b968956b3bedece4636 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_USER_SYSCALL_STUB_H
-#define LIB_USER_SYSCALL_STUB_H 1
+#ifndef __LIB_USER_SYSCALL-STUB_H
+#define __LIB_USER_SYSCALL-STUB_H
 
 int syscall (int nr, ...);
 
index 8dd88fb440f19abeda8544ac7611a3fd16ba2413..e10d39e1fd47e3e7997c78354bf6f6bfcce2d7e9 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_USER_SYSCALL_H
-#define LIB_USER_SYSCALL_H 1
+#ifndef __LIB_USER_SYSCALL_H
+#define __LIB_USER_SYSCALL_H
 
 #include <stdbool.h>
 #include <debug.h>
index e9aebd2ed19e413dbf9c8a435af462847f16a442..6bebf6de2e8d3445e86e93ccf7430ad342944c9a 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_USER_H
-#define LIB_USER_H 1
+#ifndef __LIB_USER_USER_H
+#define __LIB_USER_USER_H
 
 #ifdef KERNEL
 #error This header is user-only.
@@ -11,4 +11,4 @@
 void exit (int);
 void abort (void);
 
-#endif /* lib/user.h */
+#endif /* lib/user/user.h */
index fed649bb60e08a93b4c7c97ac3f1d02b04535653..fafb4924bfd1931fb4ced93a36d8e28fa97c1f7a 100644 (file)
@@ -1,9 +1,9 @@
-#ifndef HEADER_INIT_H
-#define HEADER_INIT_H 1
+#ifndef THREADS_INIT_H
+#define THREADS_INIT_H
 
 #include <stddef.h>
 
 /* Physical memory size, in 4 kB pages. */
 size_t ram_pages;
 
-#endif /* init.h */
+#endif /* threads/init.h */
index 40d7b6e139671b584d54ef7fdd5ce49ed25e11d9..5060b9d90bf7d2764b2e1d4e00e785212bca3f7e 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_INTERRUPT_H
-#define HEADER_INTERRUPT_H 1
+#ifndef THREADS_INTERRUPT_H
+#define THREADS_INTERRUPT_H
 
 #include <stdbool.h>
 #include <stdint.h>
@@ -59,4 +59,4 @@ void intr_yield_on_return (void);
 void intr_dump_frame (const struct intr_frame *);
 const char *intr_name (uint8_t vec);
 
-#endif /* interrupt.h */
+#endif /* threads/interrupt.h */
index 3f2db7e1870d5d0401ef63dd821b73b878a34804..debeaabc075ab3668b78271d028e703481e1b113 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_INTR_STUBS_H
-#define HEADER_INTR_STUBS_H
+#ifndef THREADS_INTR-STUBS_H
+#define THREADS_INTR-STUBS_H
 
 /* Interrupt stubs.
 
@@ -17,4 +17,4 @@ extern intr_stub_func *intr_stubs[256];
 /* Interrupt return path. */
 void intr_exit (void);
 
-#endif /* intr-stubs.h */
+#endif /* threads/intr-stubs.h */
index b6d1e4ba2afc46869ad3687bcbc4831199c68d83..a3889c205f677532188f556be3af9c8f79dc0de2 100644 (file)
@@ -38,8 +38,8 @@
  * the copyright notices, if any, listed below.
  */
 
-#ifndef HEADER_IO_H
-#define HEADER_IO_H 1
+#ifndef THREADS_IO_H
+#define THREADS_IO_H
 
 #include <stddef.h>
 #include <stdint.h>
@@ -158,4 +158,4 @@ outsl (uint16_t port, const void *addr, size_t cnt)
                 : "cc");
 }
 
-#endif /* io.h */
+#endif /* threads/io.h */
index f5d7a9ba794bf2e045789deea123ef37541f122d..b412af362f546f429324d60cee952cd6577ebf73 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_LOADER_H
-#define HEADER_LOADER_H
+#ifndef THREADS_LOADER_H
+#define THREADS_LOADER_H
 
 /* Constants fixed by the PC BIOS. */
 #define LOADER_BASE 0x7c00      /* Physical address of loader's base. */
@@ -30,4 +30,4 @@
 #define SEL_KCSEG       0x08    /* Kernel code selector. */
 #define SEL_KDSEG       0x10    /* Kernel data selector. */
 
-#endif /* loader.h */
+#endif /* threads/loader.h */
index 8509f6f8999004713b99da90483a6e8ece6d2481..2f191557817347e1f9c8d5c6bf6aacc710d79b79 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_MALLOC_H
-#define HEADER_MALLOC_H
+#ifndef THREADS_MALLOC_H
+#define THREADS_MALLOC_H
 
 #include <debug.h>
 #include <stddef.h>
@@ -9,4 +9,4 @@ void *malloc (size_t) __attribute__ ((malloc));
 void *calloc (size_t, size_t) __attribute__ ((malloc));
 void free (void *);
 
-#endif /* malloc.h */
+#endif /* threads/malloc.h */
index c66ff1822a2af990de21e9b53d5d3b6a2b639658..4e9340abe962242b01e43b1a03e264252c04910d 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_MMU_H
-#define HEADER_MMU_H 1
+#ifndef THREADS_MMU_H
+#define THREADS_MMU_H
 
 #ifndef __ASSEMBLER__
 #include <debug.h>
@@ -85,4 +85,4 @@ vtop (void *vaddr)
 #define FLAG_MBS  0x00000002    /* Must be set. */
 #define FLAG_IF   0x00000200    /* Interrupt Flag. */
 
-#endif /* mmu.h */
+#endif /* threads/mmu.h */
index 02fa3ca3fcc7099f75e33f60b900f847ad456aea..8481b170fef622ba920754fde8f2f2ec6237cc38 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_PAGING_H
-#define HEADER_PAGING_H 1
+#ifndef THREADS_PAGING_H
+#define THREADS_PAGING_H
 
 #include <stdbool.h>
 #include <stdint.h>
@@ -18,4 +18,4 @@ void *pagedir_next (uint32_t *pagedir, void **upage);
 
 void pagedir_activate (uint32_t *pagedir);
 
-#endif /* paging.h */
+#endif /* threads/paging.h */
index 7250e98e64bc64089acc1f4276fc60e7a8da12c7..ca7824e58c7c9282eda82f14b5b6a0cae6507561 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_PALLOC_H
-#define HEADER_PALLOC_H 1
+#ifndef THREADS_PALLOC_H
+#define THREADS_PALLOC_H
 
 #include <stdint.h>
 
@@ -13,4 +13,4 @@ void palloc_init (void);
 void *palloc_get (enum palloc_flags);
 void palloc_free (void *);
 
-#endif /* palloc.h */
+#endif /* threads/palloc.h */
index 8a2974fcd999bafde09a9e46bfc274ad6dbde4dd..07b805e963d67f642f26e714d91462ec43389a83 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_SWITCH_H
-#define HEADER_SWITCH_H 1
+#ifndef THREADS_SWITCH_H
+#define THREADS_SWITCH_H
 
 #ifndef __ASSEMBLER__
 /* switch_thread()'s stack frame. */
@@ -35,4 +35,4 @@ void switch_thunk (void);
 #define SWITCH_CUR      20
 #define SWITCH_NEXT     24
 
-#endif /* switch.h */
+#endif /* threads/switch.h */
index c8ac2f446508a793962d455e6d3551e1af56d125..244479f9ae0afe236c12635bbe730cafce881d3d 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_SYNCH_H
-#define HEADER_SYNCH_H 1
+#ifndef THREADS_SYNCH_H
+#define THREADS_SYNCH_H
 
 #include <list.h>
 #include <stdbool.h>
@@ -45,4 +45,4 @@ void cond_signal (struct condition *, struct lock *);
 void cond_broadcast (struct condition *, struct lock *);
 const char *cond_name (const struct condition *);
 
-#endif /* synch.h */
+#endif /* threads/synch.h */
index d6a3990f1047d795b4255efa278af5f1a1119e32..95173ffa51fe6f771a25b70ba135b12df090e00c 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_THREAD_H
-#define HEADER_THREAD_H 1
+#ifndef THREADS_THREAD_H
+#define THREADS_THREAD_H
 
 #include <debug.h>
 #include <list.h>
@@ -108,4 +108,4 @@ void thread_exit (void) NO_RETURN;
 void thread_yield (void);
 void thread_block (void);
 
-#endif /* thread.h */
+#endif /* threads/thread.h */
index cf68189eb890f7f29d8d2c02835d48cea1268024..0ab70b880a20c4871a65f1275c48ba6be6ce45c6 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_ADDRSPACE_H
-#define HEADER_ADDRSPACE_H 1
+#ifndef USERPROG_ADDRSPACE_H
+#define USERPROG_ADDRSPACE_H
 
 #include <stdbool.h>
 
@@ -8,4 +8,4 @@ bool addrspace_load (struct thread *, const char *, void (**start) (void));
 void addrspace_destroy (struct thread *);
 void addrspace_activate (struct thread *);
 
-#endif /* addrspace.h */
+#endif /* userprog/addrspace.h */
index 37b6142e22450ff07a7669f4ead8aaaed4cd425d..e37841018f6a72cb87687225dcd3f7f26280319d 100644 (file)
@@ -1,6 +1,6 @@
-#ifndef HEADER_EXCEPTION_H
-#define HEADER_EXCEPTION_H 1
+#ifndef USERPROG_EXCEPTION_H
+#define USERPROG_EXCEPTION_H
 
 void exception_init (void);
 
-#endif /* exception.h */
+#endif /* userprog/exception.h */
index 599e40e6526cf706552306a3ea70850cc5ad40e5..81fe50cbd39c9a0a40642e5ed741001dac726b43 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_GDT_H
-#define HEADER_GDT_H 1
+#ifndef USERPROG_GDT_H
+#define USERPROG_GDT_H
 
 #include "threads/loader.h"
 
@@ -12,4 +12,4 @@
 
 void gdt_init (void);
 
-#endif /* gdt.h */
+#endif /* userprog/gdt.h */
index f57676cd784ed46830866da2db80e2456c793fa3..90590967a9f96f9ea359d15c672b815dfb4379cb 100644 (file)
@@ -1,6 +1,6 @@
-#ifndef HEADER_SYSCALL_H
-#define HEADER_SYSCALL_H 1
+#ifndef USERPROG_SYSCALL_H
+#define USERPROG_SYSCALL_H
 
 void syscall_init (void);
 
-#endif /* syscall.h */
+#endif /* userprog/syscall.h */
index a5476c7dacd91f6dc799ee361ebe3ac843946e24..fa8d47b54efb50969e44e54c7ae2e9df6b90ff99 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef HEADER_TSS_H
-#define HEADER_TSS_H
+#ifndef USERPROG_TSS_H
+#define USERPROG_TSS_H
 
 #include <stdint.h>
 
@@ -8,4 +8,4 @@ void tss_init (void);
 struct tss *tss_get (void);
 void tss_set_esp0 (uint8_t *);
 
-#endif /* tss.h */
+#endif /* userprog/tss.h */