Comment by grishka

BTW there also exists the same code search tool for Android (AOSP): https://cs.android.com

I use it all the time as an Android app developer. Its introduction was a big deal, because before that, it was common among Android developers to pull AOSP sources (all the many gigabytes of them) to one's local machine and just grep around.