/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
/* Cleans up the LED blink driver. This is intended to be used upon program exit.  */
void LedBlinkExit(void)
{
  PTD->PSOR |= GPIO_PSOR_PTSO(0x00000001);
}