KERNBASE
#define KERNBASE 0xfffffc0000a00000 /* start of kernel virtual */
#define KERNBASE 0xffffffff80000000 /* start of kernel virtual space */
#define KERNBASE 0x8000000 /* XXX valid for CyberstormPPC */
#define KERNBASE 0x80000000 /* start of kernel virtual */
#define KERNBASE 0x3100 /* EXC_AST + 0x100 */
#define KERNBASE 0x00002000 /* start of kernel virtual */
#define KERNBASE 0x80000000 /* start of kernel virtual */
#define KERNBASE 0x00000000 /* start of kernel virtual */
#define KERNBASE 0xc0000000UL /* start of kernel virtual space */
#define KERNBASE 0x100000
#define KERNBASE 0x00000000 /* start of kernel virtual */
#define KERNBASE 0x100000
#define KERNBASE 0x80000000 /* start of kernel virtual */
#define KERNBASE 0x4000
#define KERNBASE 0x80000000 /* start of kernel virtual */
#define KERNBASE 0x100000
#define KERNBASE 0x100000
#define KERNBASE 0x100000
#define KERNBASE 0x3100 /* EXC_AST + 0x100 */
#define KERNBASE 0xf0000000 /* start of kernel virtual space */
#define KERNBASE 0xe8000000
#define KERNBASE 0x001000000 /* start of kernel virtual space */
#define KERNBASE 0x00006000 /* start of kernel virtual */
#define KERNBASE 0x80000000 /* start of kernel virtual */