Module tailr
tm4c123x::wtimer0
GPTM Timer A Interval Load
Value read from the register
Value to write to the register