KERNBASE           36 include/arm/memory.h #define KERNBASE	0x80000000	/* offset of kernel address space */
KERNBASE           40 include/arm/memory.h #define KERNBASE	0		/* offset of kernel address space */
KERNBASE           36 include/ppc/memory.h #define KERNBASE	0x80000000	/* offset of kernel address space */
KERNBASE           40 include/ppc/memory.h #define KERNBASE	0		/* offset of kernel address space */
KERNBASE           36 include/x86/memory.h #define KERNBASE	0x80000000	/* offset of kernel address space */
KERNBASE           40 include/x86/memory.h #define KERNBASE	0		/* offset of kernel address space */