--- src/sys/kern/init_main.c 2006/12/27 20:41:57 1.69 +++ src/sys/kern/init_main.c 2006/12/28 21:24:01 1.70 @@ -366,9 +366,10 @@ proc0_init(void *dummy __unused) pmap_pinit0(vmspace_pmap(&vmspace0)); p->p_vmspace = &vmspace0; vmspace0.vm_refcnt = 1; - vm_map_init(&vmspace0.vm_map, round_page(VM_MIN_USER_ADDRESS), - trunc_page(VM_MAX_USER_ADDRESS)); - vmspace0.vm_map.pmap = vmspace_pmap(&vmspace0); + vm_map_init(&vmspace0.vm_map, + round_page(VM_MIN_USER_ADDRESS), + trunc_page(VM_MAX_USER_ADDRESS), + vmspace_pmap(&vmspace0)); /* * We continue to place resource usage info and signal