# $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