Trying to set 80 MHz clock and send directly to PWM

I'm trying to set up the Tiva C lauchpad with an 80 MHz clock and send that clock directly to the PWM so the PWM is operating at 80 MHz. Is this possible?

Other questions on this topic have been answered, but I am not using the TivaWare software/functions. Instead I am writing values directly to the RCC and RCC2 registers.

My RCC register is set to : 0x00C02D1

RCC2 is set to : 0xC1004010

This produces a PWM clock of 40 MHz (25 nanoseconds per clock, but only 50 nanosecond pulses are possible on the PWM output with this clock).  I would like to be able to use an 80MHz clock to produce 25 nanosecond pulses with two PWM counts.

Thanks for the help!