X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.h;h=8dfb6515e78c1075ad75f8a7365ab82537d42556;hb=bf866bc97d077fa3757b4aceaa7a6b41e7298c73;hp=b4820796255e054e649eb6352b1aa6c6e089719e;hpb=57f2be6df1ca51a22b41699a5f3e5a6671400d3d;p=pintos-anon

diff --git a/src/threads/init.h b/src/threads/init.h
index b482079..8dfb651 100644
--- a/src/threads/init.h
+++ b/src/threads/init.h
@@ -3,7 +3,14 @@
 
 #include <stddef.h>
 
-extern size_t kernel_pages;
-extern size_t ram_pages;
+/* Physical memory size, in 4 kB pages. */
+size_t ram_pages;
+
+/* Kernel command line. */
+extern int argc;
+extern char *argv[];
+
+struct tss *tss;
+
 
 #endif /* init.h */