+.gdbinit with some utility functions for Linux kernel debugging.

 - See: http://kgdb.sourceforge.net/

diff --git a/bin/kernel/kernel-gdbinit b/bin/kernel/kernel-gdbinit
new file mode 100644 (file)
index 0000000..2c896bf
--- /dev/null
+++ b/bin/kernel/kernel-gdbinit
@@ -0,0 +1,20 @@
+# $Id$
+#
+# .gdbinit with some utility functions for Linux kernel debugging.
+# See: http://kgdb.sourceforge.net/
+
+
+set var $__PAGE_OFFSET=(0xC0000000UL)
+set var $PAGE_OFFSET=((unsigned long)$__PAGE_OFFSET)
+define __pa
+       p/x (unsigned long)($arg0)-$PAGE_OFFSET
+       end
+set var $PAGE_SHIFT=12
+#ifndef CONFIG_DISCONTIGMEM
+define pfn_to_page
+       p mem_map+($arg0)
+       end
+#endif
+define virt_to_page
+       p mem_map+(((unsigned long)($arg0)-$PAGE_OFFSET)>>$PAGE_SHIFT)
+       end