X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.h;h=fafb4924bfd1931fb4ced93a36d8e28fa97c1f7a;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=fed649bb60e08a93b4c7c97ac3f1d02b04535653;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon diff --git a/src/threads/init.h b/src/threads/init.h index fed649b..fafb492 100644 --- a/src/threads/init.h +++ b/src/threads/init.h @@ -1,9 +1,9 @@ -#ifndef HEADER_INIT_H -#define HEADER_INIT_H 1 +#ifndef THREADS_INIT_H +#define THREADS_INIT_H #include /* Physical memory size, in 4 kB pages. */ size_t ram_pages; -#endif /* init.h */ +#endif /* threads/init.h */