/* Retrieves a string representation of the mux setting for a pin.  */
const char* chipcHw_getGpioPinFunctionStr(int pin)
/* Retrieves a string representation of the mux setting for a pin.  */
const char* chipcHw_getGpioPinFunctionStr(int pin)
{
	if ((pin < 0) || (pin >= chipcHw_GPIO_COUNT)) {
		return "";
	}
	return gMuxStr[chipcHw_getGpioPinFunction(pin)];
}