SP5100_WDT_COUNT
writel(t, SP5100_WDT_COUNT(tco->tcobase));
return readl(SP5100_WDT_COUNT(tco->tcobase));