From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 26 Aug 2004 19:04:25 +0000 (+0000)
Subject: Header for init.c.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=57f2be6df1ca51a22b41699a5f3e5a6671400d3d

Header for init.c.
---

diff --git a/src/threads/init.h b/src/threads/init.h
new file mode 100644
index 0000000..b482079
--- /dev/null
+++ b/src/threads/init.h
@@ -0,0 +1,9 @@
+#ifndef HEADER_INIT_H
+#define HEADER_INIT_H 1
+
+#include <stddef.h>
+
+extern size_t kernel_pages;
+extern size_t ram_pages;
+
+#endif /* init.h */