/* Read the supported_output port width of the TPIU. 
This function uses the  */
uint32_t am_hal_tpiu_supported_port_width_get(void)
/* Read the supported_output port width of the TPIU. 
This function uses the  */
uint32_t am_hal_tpiu_supported_port_width_get(void)
{
    uint32_t i, ui32WidthValue;
    ui32WidthValue = AM_REG(TPIU, SSPSR);
    for (i = 1; i < 32; i++)
    {
        if (ui32WidthValue == (0x1 << (i - 1)))
        {
            return i;
        }
    }
    return 1;
}