Hi,
I've looked through the TRM and Datasheet for a description the PINCNTLx register and haven't found one. Based on the code written in the PSP and the code generated by TI's pin mux utility, the PINCNTLx registers on the TI814x are different then the PINCTRLx registers on the TI816x which does describe the register.
Specifically, I'd like to know what bit 19 means as some pins come out of reset with that bit set.