Searching in third_party/rocket_chip