TIMER_B
return ~readl(dc_timer_dev.base + COUNT(TIMER_B));
writeb(CONTROL_DISABLE, dc_timer_dev.base + CONTROL(TIMER_B));
writel(UINT_MAX, dc_timer_dev.base + COUNT(TIMER_B));
writeb(CONTROL_ENABLE, dc_timer_dev.base + CONTROL(TIMER_B));
clocksource_mmio_init(dc_timer_dev.base + COUNT(TIMER_B), node->name,