/* Poll the given ITM stimulus register until not busy.  */
bool am_hal_itm_stimulus_not_busy(uint32_t ui32StimReg)
/* Poll the given ITM stimulus register until not busy.  */
bool am_hal_itm_stimulus_not_busy(uint32_t ui32StimReg)
{
    uint32_t ui32StimAddr = (AM_REG_ITM_STIM0_O + (4 * ui32StimReg));
    while (!AM_REGVAL(ui32StimAddr));
    return true;
}