The maximum clock frequency of the TM4C123BH6PGEIR is 80 MHz.
The pin muxing on the TM4C123BH6PGEIR can be configured using the Pin Muxing Register (PMCn) and the Pin Configuration Register (PCn).
The NMI pin is used to trigger a non-maskable interrupt, which is a high-priority interrupt that cannot be masked or disabled by software.
The ADC on the TM4C123BH6PGEIR can be used by configuring the ADC clock, selecting the ADC channel, and starting the ADC conversion using the ADCCTL0 register.
The maximum current rating of the GPIO pins on the TM4C123BH6PGEIR is 4 mA per pin.