/* IRQ Handler for GPIO port 0 (currently checks pin 0.1) 
IRQ Handler for GPIO port 2 (currently checks pin 2.1) */
void gpioInit(void)
/* IRQ Handler for GPIO port 0 (currently checks pin 0.1) 
IRQ Handler for GPIO port 2 (currently checks pin 2.1) */
void gpioInit(void)
{
  SCB_SYSAHBCLKCTRL |= (SCB_SYSAHBCLKCTRL_GPIO);
  NVIC_EnableIRQ(EINT0_IRQn);
  NVIC_EnableIRQ(EINT1_IRQn);
  NVIC_EnableIRQ(EINT2_IRQn);
  NVIC_EnableIRQ(EINT3_IRQn);
  _gpioInitialised = true;
  return;
}