bin/kernel/kernel-gdbinit

   1 # $Id$
   2 #
   3 # .gdbinit with some utility functions for Linux kernel debugging.
   4 # See: http://kgdb.sourceforge.net/
   5
   6
   7 set var $__PAGE_OFFSET=(0xC0000000UL)
   8 set var $PAGE_OFFSET=((unsigned long)$__PAGE_OFFSET)
   9 define __pa
  10         p/x (unsigned long)($arg0)-$PAGE_OFFSET
  11         end
  12 set var $PAGE_SHIFT=12
  13 #ifndef CONFIG_DISCONTIGMEM
  14 define pfn_to_page
  15         p mem_map+($arg0)
  16         end
  17 #endif
  18 define virt_to_page
  19         p mem_map+(((unsigned long)($arg0)-$PAGE_OFFSET)>>$PAGE_SHIFT)
  20         end