I found a relevant post to my question (link below).
To explain my predicament:
I need to dither (for current limiting) pulses to my stepper motor. Too that effect I am using T1CCP0, T1CCP1, T2CCP0 and T2CCP1 lines for driving my stepper motor. I use Timers 1A, 1B, 2A and 2B in PWM mode, and I enable and disable each timer based on the state the stepper motor should be in. All is well and good. but since the timers are in PWM mode, during the off state of the stepper motor line the may be high or low depending upon whether the timer was disabled pre or post match.
So I need to somehow reset the timer so that I can control the match condition when transitioning to the off state.
As the post linked above suggests, I need to write to the Timer Value Register (GPTMTAV and GPTMTBV) for all four timers. However the TivaWare driverlib does not seem to have a TimerValueSet function. I dont know any other function that might allow the same functionality (as far as I can tell). Is there a particular version I need to be using? Or has this not been reflected into the library yet and I should make my own function?