Searching in linux-user/include/host/mips