Searching in linux-user/cris