tag	line	file	source code
KERNELBASE	12	include/asm-ppc/io.h	#define KERNELBASE 0x90000000
KERNELBASE	60	include/asm-ppc/page.h	#define KERNELBASE  0x90000000