#define VM_MIN_KERNEL_ADDRESS ((vm_offset_t) 0x00001000)
-#define VM_MAX_KERNEL_ADDRESS ((vm_offset_t) 0xDFFFFFFF)
+/* We map the kernel using only SR0,SR1,SR2,SR3 leaving segments alone */
+#define VM_MAX_KERNEL_ADDRESS ((vm_offset_t) 0x3fffffff)
#define USER_STACK_END ((vm_offset_t) 0xffff0000U)
+#define ppc_round_page(x) ((((unsigned)(x)) + PPC_PGBYTES - 1) & \
+ ~(PPC_PGBYTES-1))
+#define ppc_trunc_page(x) (((unsigned)(x)) & ~(PPC_PGBYTES-1))
+
+
#define KERNEL_STACK_SIZE (4 * PPC_PGBYTES)
#define INTSTACK_SIZE (5 * PPC_PGBYTES)