The names are defined in pins.csv.
The files pins.c and pins.h are generated during the build process from pins.csv, using a make-pins.py script.