void PIO_EnableIt(const Pin *pPin) { TRACE_DEBUG("PIO_EnableIt()\n\r"); SANITY_CHECK(pPin); #ifndef NOASSERT unsigned int i = 0; unsigned char found = 0; while ((i < numSources) && !found) { if (pSources[i].pPin == pPin) { found = 1; } i++; } ASSERT(found, "-F- PIO_EnableIt: Interrupt source has not been configured\n\r"); #endif pPin->pio->PIO_ISR; pPin->pio->PIO_IER = pPin->mask; }