/* Sets the timer load value for a 64-bit timer. */
void TimerLoadSet64(unsigned long ulBase, unsigned long long ullValue)
/* Sets the timer load value for a 64-bit timer. */
void TimerLoadSet64(unsigned long ulBase, unsigned long long ullValue)
{
    ASSERT(TimerBaseValid(ulBase));
    HWREG(ulBase + TIMER_O_TBILR) = ullValue >> 32;
    HWREG(ulBase + TIMER_O_TAILR) = ullValue & 0xffffffff;
}