In the example cmpss_asynch, the function GPIO_SetupPinMux is used to set the pin to XBAR 3. Does this function essentially access the GPAMUX1 and GPAGMUX1 registers and sets the required bits?
Also, I notice that this setup is done in the main function, rather than in the initialization functions. Why is that?