/* Clears the interrupt for the specified pin(s). 
The pin(s) are specified using a bit-packed byte, where each bit that is set identifies the pin to be accessed, and where bit 0 of the byte represents GPIO port pin 0, bit 1 represents GPIO port pin 1, and so on. */
void GPIOPinIntClear(unsigned long ulPort, unsigned long ulPins)
/* Clears the interrupt for the specified pin(s). 
The pin(s) are specified using a bit-packed byte, where each bit that is set identifies the pin to be accessed, and where bit 0 of the byte represents GPIO port pin 0, bit 1 represents GPIO port pin 1, and so on. */
void GPIOPinIntClear(unsigned long ulPort, unsigned long ulPins)
{
    xASSERT(GPIOBaseValid(ulPort));
    xHWREG(ulPort + GPIO_ISRC) |= ulPins;
}