I am working with the EK-TM4C123GXL launchpad. I need two PWM outputs with dead time. Accomplishing this appears straightforward with examples such as dead_band.c provided by TI. I could get by on that information, but I really want to know: What if I wanted to use PWM2 and PWM3? The SysCtlPeripheralEnable function accepts only PWM0 and PWM1 as arguments. How does this work?