Part Number: TM4C123GH6PGE
Hi,
I have two sources for the timer4 CCP0 signal. So I like to switch between these two channels.
At the TI HAL the function 
GPIOPinConfigure
exists. I don't see any
GPIOPinConfigureReset or similar function.
This lead me to the general question: How to reset the pin config?
As example I print my config
// WT4CCP0 PH6
fan2_tacho: fan2_tacho {
	port = <&gpio_H>;
	pin = <6>;
	map = <0x00071807>;
	dirmode = "HW";
	strength = "2MA";
	type = "STD";
};
// T4CCP0 PG0
fan6_tacho: fan6_tacho {
	port = <&gpio_G>;
	pin = <0>;
	map = <0x00060007>;
	dirmode = "HW";
	strength = "2MA";
	type = "STD";
};
its at devicetree config for my pin controller for the Zephyr RTOS
I would guess its enough to call the GPIOPadConfigSet function and set the pin dir mode from HW to IN
 
				 
		 
					 
                          