/* Get the ADC converted data for the specified channel. */
u16 XAdcPs_GetAdcData(XAdcPs *InstancePtr, u8 Channel)
/* Get the ADC converted data for the specified channel. */
u16 XAdcPs_GetAdcData(XAdcPs *InstancePtr, u8 Channel)
{
	u32 RegData;
	Xil_AssertNonvoid(InstancePtr != NULL);
	Xil_AssertNonvoid(InstancePtr->IsReady == XIL_COMPONENT_IS_READY);
	Xil_AssertNonvoid((Channel <= XADCPS_CH_VBRAM) ||
			 ((Channel >= XADCPS_CH_VCCPINT) &&
			 (Channel <= XADCPS_CH_AUX_MAX)));
	RegData = XAdcPs_ReadInternalReg(InstancePtr,
					(XADCPS_TEMP_OFFSET + (u32)Channel));
	return (u16) RegData;
}