Wodurch würde denn der Timer1 schon genutzt?
Beim RP6 wird Timer1 für die Motor-PWM benutzt.
Sieh dir mal die RP6RobotBaseLib.c an. Am Ende der Lib findest du die Initialisierung der Timer. Es werden alle genutzt.

Gruß Dirk