/* Enables the interrupt mask for a specific port pin.  */
void gpioIntEnable(uint32_t portNum, uint32_t bitPos)
/* Enables the interrupt mask for a specific port pin.  */
void gpioIntEnable(uint32_t portNum, uint32_t bitPos)
{
  if (!_gpioInitialised) gpioInit();
  switch (portNum)
  {
    case 0:
      GPIO_GPIO0IE |= (0x1<<bitPos);
      break;
    case 1:
      GPIO_GPIO1IE |= (0x1<<bitPos);
      break;
    case 2:
      GPIO_GPIO2IE |= (0x1<<bitPos);
      break;
    case 3:
      GPIO_GPIO3IE |= (0x1<<bitPos);
      break;
    default:
      break;
  }
  return;
}