Here are the data structures with brief descriptions:

CXMutex	The XMutex driver instance data
CXMutex_Config	This typedef contains configuration information for the device