void EdgeIntHandler(void) { // // Clear the GPIO interrupt. // GPIOPinIntClear(GPIO_PORTC_BASE, GPIO_PIN_4); // // Increment the count of edges. // g_ulVelCount++; }