/* Feeds the watchdog to keep it from timing out. Interrupts will be disabled while feeding the watchdog.  */
void wdtFeed(void)
/* Feeds the watchdog to keep it from timing out. Interrupts will be disabled while feeding the watchdog.  */
void wdtFeed(void)
{
  __disable_irq();
  WDT_WDFEED = WDT_WDFEED_FEED1;
  WDT_WDFEED = WDT_WDFEED_FEED2;
  __enable_irq();
}