Here are the data structures with brief descriptions:

CXIntc	The XIntc driver instance data
CXIntc_Config	This typedef contains configuration information for the device