TMS320F28386S: Muxed GPIO pin

Part Number: TMS320F28386S

I want to use GPIO57 as an output but the pin is not going high as it does when I use the same setup on a 28000049C. I see it is listed in SPRSP14D in table 6-7 as a muxed pin. Is there a default setting that must be overcome for it to be an I/O? Muxing seems to be a subject with somewhat of a learning curve and I have not found an answer yet in my search.

Thanks,

john

reset57()
{
    Device_init();

    Device_initGPIO();

    Interrupt_initModule();
    Interrupt_initVectorTable();
    EINT;
    ERTM;
	    GPIO_setPadConfig(57U, GPIO_PIN_TYPE_STD);
    GPIO_setDirectionMode(57U, GPIO_DIR_MODE_OUT);

    int i;

    GPIO_writePin(57U, 0);
    DEVICE_DELAY_US(50);


    GPIO_writePin(57U, 1);
    DEVICE_DELAY_US(50);
    SysCtl_resetDevice();
    
    return 0;
}