In OpenMax AL doc, on page number 89, QuerySampleFormatsSupported() API definition is given. According to doc, the last two parameters viz. pSampleFormats and pNumOfSampleFormats are of (XAint16*) type, while in OpenMaxAL.h file on line 1806, these parameters are of type (XAint32*).
Thanks for the feedback! The correct type is XAint32* as is the case currently in the headers. We will update the specification for the final 1.0 release.