/* Enables a GPIO pin as a trigger to start an ADC capture. */
void GPIOADCTriggerEnable(uint32_t ui32Port, uint8_t ui8Pins)
/* Enables a GPIO pin as a trigger to start an ADC capture. */
void GPIOADCTriggerEnable(uint32_t ui32Port, uint8_t ui8Pins)
{
    ASSERT(_GPIOBaseValid(ui32Port));
    HWREG(ui32Port + GPIO_O_ADCCTL) |= ui8Pins;
}