X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Kernel%2Finclude%2Fhal_proc.h;h=3a22e5ea741828b9621acd4e55e7d97c027b18aa;hb=af157dbfe089d5432d09daa439805d51f7756fee;hp=0df055672281d6150cd1e38b28b36d3e90ba593d;hpb=340bda1dddf444ccf46fbc9e7a37bf6c3f0aeb6a;p=tpg%2Facess2.git

diff --git a/Kernel/include/hal_proc.h b/Kernel/include/hal_proc.h
index 0df05567..3a22e5ea 100644
--- a/Kernel/include/hal_proc.h
+++ b/Kernel/include/hal_proc.h
@@ -27,6 +27,10 @@ extern void	Proc_Start(void);
  * \brief Called just before a thread is freed
  */
 extern void	Proc_ClearThread(tThread *Thread);
+/**
+ * \brief Called just before a process is freed
+ */
+extern void	Proc_ClearProcess(tProcess *Process);
 /**
  * \brief Get the ID of this CPU
  * \return Zero based CPU ID
@@ -80,4 +84,11 @@ extern void	MM_ClearUser(void);
  */
 extern void	MM_DumpTables(tVAddr Start, tVAddr End);
 
+/**
+ * \brief Check if a buffer is valid (and all user if originally user)
+ * \param Addr	Base address
+ * \param Size	Size of the buffer in bytes
+ * \return Boolean valid (0: invalid, non-0: Valid)
+ */
+extern int	MM_IsValidBuffer(tVAddr Addr, size_t Size);
 #endif