DMTIMER_READ4
return (DMTIMER_READ4(sc, DMT_TCRR));
while (DMTIMER_READ4(sc, DMT_TIOCP_CFG) & DMT_TIOCP_RESET)
first = DMTIMER_READ4(sc, DMT_TCRR);
last = DMTIMER_READ4(sc, DMT_TCRR);
return (DMTIMER_READ4(sc, DMT_TCRR));
if (DMTIMER_READ4(sc, DMT_IRQSTATUS_RAW) & DMT_IRQ_TCAR) {
sc->pps_state.capcount = DMTIMER_READ4(sc, DMT_TCAR1);
while (DMTIMER_READ4(sc, DMT_TIOCP_CFG) & DMT_TIOCP_RESET)