- See: http://kgdb.sourceforge.net/
--- /dev/null
+# $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