It looks like the GPIO definition in “DSP2803x_Gpio.h” from the HVACI_Sensored demo project only gives 3 mux options for the GPIO setup where as the datasheet has 15 options.
For GPIO30 we want to use mux 11 from the datasheet, how would we do that?
You want to look at MUX and GMUX bits. I think you are looking at the
Are you looking accidently at: F2803x folder instead of the F28003x 
?
Derek,
Yes, the SysConfig tool will LIVE generate and DIFF your code to show you exactly what is changing when you change your pinmux selection.
It even gives you PINMUX Excel file to show you how your settings are selected for each pin.
Nima
