SECWDOG_CLKS_SHIFT
(0x15 << SECWDOG_CLKS_SHIFT) |
res = (ctl_val & SECWDOG_RES_MASK) >> SECWDOG_CLKS_SHIFT;
wdt->resolution << SECWDOG_CLKS_SHIFT);