digital pin dsPIC30F

Hallo,
ich möchte eine LED am dsPIC30F4011 am pin RB1 zum blinken bringen. Dazu 
habe ich wie auf 
http://www.foxytronics.com/learn/microcontrollers/dspic/-dspic30f-digital-inputs---outputs-/digital-outputs 
erklärt, den Pin als digitalen output erstellt.

woher weiss das Programm, dass durch

1

ADPCFGbits.PCFG1 = 1; // Initialize pin as digital

2

TRISBbits.TRISB1 = 0; // Set as digital output

3

4

LATBbits.LATB1 = 1; // Pins voltage = VDD

RB1 gemeint ist?
also ist klar, es steht .PCFG1 und .TRISB1 da. Im Datenblatt der 
dsPic30F familie finde ich auch ADPCFG, aber woher weiss ich, dass 
PCFG1=RB1 ist? was sind die anderen für welche?
TRISB bzw. TRISB1 konnte ich im Datenblatt gar nicht finden.

Weiss das jemand und kann mir das erklären?

Johannes