> - vaddr_t vm_min_address = VM_MIN_ADDRESS; > - vaddr_t vm_max_address = VM_MAXUSER_ADDRESS; > + vaddr_t vm_min_address = vm_map_min(map); > + vaddr_t vm_max_address = vm_map_max(map); the max address now is in the kernel space on some platforms, i think. .mrg.