Searched refs:pxConfig (Results 1 – 1 of 1) sorted by relevance
293 static XIntc_Config * pxConfig; in vTaskISRHandler() local299 pxConfig = &XIntc_ConfigTable[ ( uint32_t ) XPAR_INTC_SINGLE_DEVICE_ID ]; in vTaskISRHandler()301 pxTablePtr = &( pxConfig->HandlerTable[ ulPending ] ); in vTaskISRHandler()303 if( pxConfig->AckBeforeService & ( ulInterruptMask ) ) in vTaskISRHandler()305 XIntc_mAckIntr( pxConfig->BaseAddress, ulInterruptMask ); in vTaskISRHandler()311 XIntc_mAckIntr( pxConfig->BaseAddress, ulInterruptMask ); in vTaskISRHandler()