/* 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)
{
  PTE->PCOR |= GPIO_PSOR_PTSO(1 << 8U);
}