/* clocksource: the MTU device is a decrementing counters, so we negate the value being read.  */
static cycle_t nmdk_read_timer(struct clocksource *cs)
/* clocksource: the MTU device is a decrementing counters, so we negate the value being read.  */
static cycle_t nmdk_read_timer(struct clocksource *cs)
{
	u32 count = readl(mtu_base + MTU_VAL(0));
	return nmdk_count + nmdk_cycle - count;
}