unsigned int ADC_IsInterruptMasked(AT91S_ADC *pAdc, unsigned int flag) { return (ADC_GetInterruptMaskStatus(pAdc) & flag); }