AMD553X_WDT_TICK
period * AMD553X_WDT_TICK);
#define AMD553X_WDT_COUNTMAX (0xffff / AMD553X_WDT_TICK)