process_t now contains an addrspace_t