/* Writes a byte to the given ITM stimulus register.  */
void am_hal_itm_stimulus_reg_byte_write(uint32_t ui32StimReg, uint8_t ui8Value)
/* Writes a byte to the given ITM stimulus register.  */
void am_hal_itm_stimulus_reg_byte_write(uint32_t ui32StimReg, uint8_t ui8Value)
{
    uint32_t ui32StimAddr;
    ui32StimAddr = (AM_REG_ITM_STIM0_O + (4 * ui32StimReg));
    while (!AM_REGVAL(ui32StimAddr));
    *((volatile uint8_t *) ui32StimAddr) = ui8Value;
}