WDOG_MAX_COUNT
const u_int32_t count = (RA_BUS_FREQ / WDOG_MAX_COUNT) * nsec;
KASSERT(count <= WDOG_MAX_COUNT);
(WDOG_MAX_COUNT / (RA_BUS_FREQ / WDOG_MAX_COUNT))