The Makefile in pintos/src produces Emacs-style tags with the command make TAGS or vi-style tags with make tags.
How do I use "tags" to follow along with references to function and variable names. By using M-. function_name?
https://web.stanford.edu/~ouster/cgi-bin/cs140-spring20/pintos/pintos_11.html#SEC159