From: Ben Pfaff 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?a=commitdiff_plain;h=57f2be6df1ca51a22b41699a5f3e5a6671400d3d;p=pintos-anon 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 + +extern size_t kernel_pages; +extern size_t ram_pages; + +#endif /* init.h */