Searching in linux-user/alpha