From: short <>
Date: Fri, 22 Apr 2005 04:50:59 +0000 (+0000)
Subject: +.gdbinit with some utility functions for Linux kernel debugging.
X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=commitdiff_plain;h=855a941a13a42b8ff9088fc82fc107dcf421afc4

+.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
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