Searched refs:DownCounterHigh (Results 1 – 2 of 2) sorted by relevance
110 tc->DownCounterHigh = 0; in __eclock_init()264 tc->DownCounterHigh = 0; in eclock_ebus_intr()
464 volatile uint32_t DownCounterHigh; /* rw */ member