Synchronous Port Manipulation on Due

Hardware Arduino Due
10

jiblets:

    for( k = 44 ; k <= 51 ; k++ )

pinMode( k, OUTPUT ) ; // Sets Port C12-C19 to output pins. Necessary or no data is written.
 
    for( k = 34 ; k <= 41 ; k++ )
      pinMode( k, OUTPUT ) ; // Sets Port C2-C9 to output pins

Is there a list of which due pins correspond to which port registers?