Kernel - Change virtual memory API to use void* for virtual addresses

[tpg/acess2.git] / KernelLand / Kernel / include / debug_hooks.h

diff --git a/KernelLand/Kernel/include/debug_hooks.h b/KernelLand/Kernel/include/debug_hooks.h
index 8ea4211..4c26757 100644 (file)
--- a/KernelLand/Kernel/include/debug_hooks.h
+++ b/KernelLand/Kernel/include/debug_hooks.h
@@ -13,4 +13,6 @@ extern void   Threads_Dump(void);
 extern void    Threads_ToggleTrace(int TID);
 extern void    Heap_Stats(void);
 
+extern void    Proc_PrintBacktrace(void);
+
 #endif