SC1100_WDCNFG_WDPRES_MAX
#define SC1100_WDIVL_MAX ((1 << SC1100_WDCNFG_WDPRES_MAX) * \
KASSERT(prescale <= SC1100_WDCNFG_WDPRES_MAX);