uint32_t mbed_itm_send(uint32_t port, uint32_t data)
Send data over ITM stimulus port.
void itm_init(void)
Target specific initialization function.
void mbed_itm_send_block(uint32_t port, const void *data, size_t len)
Send a block of data over ITM stimulus port.
void mbed_itm_init(void)
Initialization function for both generic registers and target specific clock and pin.