/* Set the output port width of the TPIU.  */
void am_hal_tpiu_port_width_set(uint32_t ui32PortWidth)
/* Set the output port width of the TPIU.  */
void am_hal_tpiu_port_width_set(uint32_t ui32PortWidth)
{
   AM_REG(TPIU, CSPSR) = 1 << (ui32PortWidth - 1);
}