Prototype of env_user_mem_walk