I have access to the utility
void C6747_pinmuxConfig(uint32_t in_reg, uint32_t in_mask, uint32_t in_val)
{
// unlock the system config registers.
SYSCONFIG->KICKR[0] = KICK0R_UNLOCK;
SYSCONFIG->KICKR[1] = KICK1R_UNLOCK;
// make sure the pinmux register is cleared for the mask bits before
// setting the value.
CLRBIT(SYSCONFIG->PINMUX[in_reg], in_mask);
SETBIT(SYSCONFIG->PINMUX[in_reg], in_val);
// lock the system config registers.
SYSCONFIG->KICKR[0] = KICK0R_LOCK;
SYSCONFIG->KICKR[1] = KICK1R_LOCK;
}
But I don't understand how to use it.
Do I use this function to enable the pin?
If, for example, I wanted to use pin 0 on GPIO bank 0 as a GPIO pin for a c6745, what would I put in the arguments?