https://sourcegraph.com/github.com/torvalds/linux is a more featured search engine with limited go-to-definition functionality, and removes the need to clone locally and search in many cases. Can be used with any GitHub repo. Just make sure to first enable "case sensitivity" and "structural search" using the buttons in the right of the search textbox so that the search is exact (which is a task that GitHub's own search fails at).