HW_DIGCTL_MICROSECONDS
return DCTL_RD(sc, HW_DIGCTL_MICROSECONDS);
start = REG_RD(HW_DIGCTL_BASE + HW_DIGCTL_MICROSECONDS);
now = REG_RD(HW_DIGCTL_BASE + HW_DIGCTL_MICROSECONDS);