/* Configure the TPIU based on the values in the configuration struct.  */
void am_hal_tpiu_configure(am_hal_tpiu_config_t *psConfig)
/* Configure the TPIU based on the values in the configuration struct.  */
void am_hal_tpiu_configure(am_hal_tpiu_config_t *psConfig)
{
    AM_REG(MCUCTRL, TPIUCTRL) |= psConfig->ui32TraceClkIn;
    AM_REG(TPIU, SPPR) = psConfig->ui32PinProtocol;
    AM_REG(TPIU, CSPSR) = (1 << (psConfig->ui32ParallelPortSize - 1));
    AM_REG(TPIU, ACPR) = psConfig->ui32ClockPrescaler;
}