/* Writes a short to the given ITM stimulus register.  */
void am_hal_itm_stimulus_reg_short_write(uint32_t ui32StimReg, uint16_t ui16Value)
/* Writes a short to the given ITM stimulus register.  */
void am_hal_itm_stimulus_reg_short_write(uint32_t ui32StimReg, uint16_t ui16Value)
{
    uint32_t ui32StimAddr;
    ui32StimAddr = (AM_REG_ITM_STIM0_O + (4 * ui32StimReg));
    while (!AM_REGVAL(ui32StimAddr));
    *((volatile uint16_t *) ui32StimAddr) = ui16Value;
}