Searching in linux-user/openrisc