entre autres dans un fichier portpins.h (mais pas que)
chez moi il est ici : C:\Program Files (x86)\Atmel\Studio\7.0\toolchain\avr8\avr8-gnu-toolchain\avr\include\avr
Effectivement, chez moi il est dans un fichier bien planqué:
C:\Users\Utilisateur\AppData\Local\Arduino15\packages\arduino\tools\avr-gcc\7.3.0-atmel3.6.1-arduino7\avr\include\avr
Dans ce répertoire, il y a 333 fichiers .h Quand on compile, on lit tous ces fichiers?
S'ils sont là c'est que ça doit servir — ou faut espérer
Il me semble que lors des compilations des bibliothèques il y a un cache qui se fait. Elle sont ensuite conservées en format objet intermédiaire et juste linkée lors de l'édition de lien.