3 # .gdbinit with some utility functions for Linux kernel debugging.
4 # See: http://kgdb.sourceforge.net/
7 set var $__PAGE_OFFSET=(0xC0000000UL)
8 set var $PAGE_OFFSET=((unsigned long)$__PAGE_OFFSET)
10 p/x (unsigned long)($arg0)-$PAGE_OFFSET
12 set var $PAGE_SHIFT=12
13 #ifndef CONFIG_DISCONTIGMEM
19 p mem_map+(((unsigned long)($arg0)-$PAGE_OFFSET)>>$PAGE_SHIFT)