Header for init.c.

[pintos-anon] / src / threads / init.h

diff --git a/src/threads/init.h b/src/threads/init.h
new file mode 100644 (file)
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 */