From 57f2be6df1ca51a22b41699a5f3e5a6671400d3d Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 26 Aug 2004 19:04:25 +0000
Subject: [PATCH] Header for init.c.

---
 src/threads/init.h | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/threads/init.h

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 */
-- 
2.30.2