Feeding a watchdog from a periodic interrupt isn't the smartest thing to do (unless you have setup multi-channels) so we also allow us to express to the WDT driver whether we've arrived from an ISR or not.