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

diff --git a/Kernel/include/hal_proc.h b/Kernel/include/hal_proc.h
index 0df05567..a189d568 100644
--- a/Kernel/include/hal_proc.h
+++ b/Kernel/include/hal_proc.h
@@ -80,4 +80,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