X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Finclude%2Fhal_proc.h;h=5c03bdad3392ba1d9b70e7091e99afa0b1df2699;hb=97629e9f86a9cf7162649550b74b112a4fb1765f;hp=0f21a1c792804bce1dabcb991b544ff49038214c;hpb=48743e39650eb1ef988380e9d95f27fd40d3a9ce;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/include/hal_proc.h b/KernelLand/Kernel/include/hal_proc.h
index 0f21a1c7..5c03bdad 100644
--- a/KernelLand/Kernel/include/hal_proc.h
+++ b/KernelLand/Kernel/include/hal_proc.h
@@ -13,6 +13,7 @@
  * \brief Achitecture defined thread/process management functions
  */
 
+#include <threads.h>
 #include <threads_int.h>
 
 /**
@@ -84,6 +85,11 @@ extern void	MM_ClearUser(void);
  */
 extern void	MM_DumpTables(tVAddr Start, tVAddr End);
 
+/**
+ * \brief Dump physical memory usage statistics to the debug channel
+ */
+extern void	MM_DumpStatistics(void);
+
 /**
  * \brief Check if a buffer is valid (and all user if originally user)
  * \param Addr	Base address