I pin sono dichiarati nei file /hardware/arduino/cores/arduino/pins_arduino.cpp/.h per l'DE 002x. Sulla 1.0 non so.
Ricordati comunque che poi devi controllare anche gli altri file dove vengono dichiarati gli interrupt, i timer, i vari digitalRead/Write ecc...