From 855a941a13a42b8ff9088fc82fc107dcf421afc4 Mon Sep 17 00:00:00 2001
From: short <>
Date: Fri, 22 Apr 2005 04:50:59 +0000
Subject: [PATCH] +.gdbinit with some utility functions for Linux kernel
 debugging.  - See: http://kgdb.sourceforge.net/

---
 bin/kernel/kernel-gdbinit | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 bin/kernel/kernel-gdbinit

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
-- 
1.8.3.1