1233 __inline void AT91F_ADC_EnableIt( AT91PS_ADC pADC,    /* pointer to a ADC controller */  in AT91F_ADC_EnableIt()
1244 __inline void AT91F_ADC_DisableIt( AT91PS_ADC pADC,    /* pointer to a ADC controller */  in AT91F_ADC_DisableIt()
1256     AT91PS_ADC pADC )                      /* pointer to a ADC controller */  in AT91F_ADC_GetStatus()
1266     AT91PS_ADC pADC )                                   /* pointer to a ADC controller */  in AT91F_ADC_GetInterruptMaskStatus()
1275 __inline unsigned int AT91F_ADC_IsInterruptMasked( AT91PS_ADC pADC,    /* \arg  pointer to a ADC co…  in AT91F_ADC_IsInterruptMasked()
1285 __inline unsigned int AT91F_ADC_IsStatusSet( AT91PS_ADC pADC,    /* \arg  pointer to a ADC controll…  in AT91F_ADC_IsStatusSet()
1295 __inline void AT91F_ADC_CfgModeReg( AT91PS_ADC pADC,    /* pointer to a ADC controller */  in AT91F_ADC_CfgModeReg()
1306 __inline unsigned int AT91F_ADC_GetModeReg( AT91PS_ADC pADC /* pointer to a ADC controller */  in AT91F_ADC_GetModeReg()
1316 __inline void AT91F_ADC_CfgTimings( AT91PS_ADC pADC,                    /* pointer to a ADC control…  in AT91F_ADC_CfgTimings()
1336 __inline void AT91F_ADC_EnableChannel( AT91PS_ADC pADC,       /* pointer to a ADC controller */  in AT91F_ADC_EnableChannel()
1347 __inline void AT91F_ADC_DisableChannel( AT91PS_ADC pADC,       /* pointer to a ADC controller */  in AT91F_ADC_DisableChannel()
1358 __inline unsigned int AT91F_ADC_GetChannelStatus( AT91PS_ADC pADC /* pointer to a ADC controller */  in AT91F_ADC_GetChannelStatus()
1368 __inline void AT91F_ADC_StartConversion( AT91PS_ADC pADC /* pointer to a ADC controller */  in AT91F_ADC_StartConversion()
1378 __inline void AT91F_ADC_SoftReset( AT91PS_ADC pADC /* pointer to a ADC controller */  in AT91F_ADC_SoftReset()
1388 __inline unsigned int AT91F_ADC_GetLastConvertedData( AT91PS_ADC pADC /* pointer to a ADC controlle…  in AT91F_ADC_GetLastConvertedData()
1398 __inline unsigned int AT91F_ADC_GetConvertedDataCH0( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH0()
1408 __inline unsigned int AT91F_ADC_GetConvertedDataCH1( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH1()
1418 __inline unsigned int AT91F_ADC_GetConvertedDataCH2( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH2()
1428 __inline unsigned int AT91F_ADC_GetConvertedDataCH3( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH3()
1438 __inline unsigned int AT91F_ADC_GetConvertedDataCH4( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH4()
1448 __inline unsigned int AT91F_ADC_GetConvertedDataCH5( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH5()
1458 __inline unsigned int AT91F_ADC_GetConvertedDataCH6( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH6()
1468 __inline unsigned int AT91F_ADC_GetConvertedDataCH7( AT91PS_ADC pADC /* pointer to a ADC controller…  in AT91F_ADC_GetConvertedDataCH7()