/* 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)
{
  IfxPort_setPinHigh(&MODULE_P00, 5U);
}