+#if 0
+#define VM_MAX_PAGE_ADDRESS 0xFFFFFFFFFFFFF000ULL
+#else
+/*
+ * LP64todo - For now, we are limited to 51-bits of user addressing
+ */
+#define VM_MAX_PAGE_ADDRESS 0x0007FFFFFFFFF000ULL
+#endif
+
+#define MACH_VM_MIN_ADDRESS ((mach_vm_offset_t) 0)
+#define MACH_VM_MAX_ADDRESS ((mach_vm_offset_t) VM_MAX_PAGE_ADDRESS)
+
+/*
+ * These are the values relative to the local process.
+ */
+#if defined (__ppc64__)
+/*
+ * LP64todo - We don't have the 64-bit address space layout yet.
+ * Use the 32-bit stack layout for now.
+ */
+#define VM_MIN_ADDRESS ((vm_offset_t) MACH_VM_MIN_ADDRESS)
+#define VM_MAX_ADDRESS ((vm_offset_t) MACH_VM_MAX_ADDRESS)
+#define USER_STACK_END ((vm_offset_t) 0x00000000ffff0000ULL)
+#else