/**
* \brief Print an integer as hex digits
*
* This function will put the hex digits of a 32-bit integer into the print
* buffer. It does not add the '0x'-prefix.
*
* \param[in] out_int The integer to print.
*/
void dbg_print_hexint(uint32_t out_int)
{
char out_str[2 * sizeof(out_int)];
dbg_sprint_hexint(out_str, out_int);
_dbg_wait_for_lock();
_dbg_putstr(out_str, sizeof(out_str));
_dbg_unlock();
}
//! [main_task]
//! [main_task_open]
static void main_task(void *params)
{
do {
//! [main_task_open]
//! [main_task_1]
dbg_print_str("Main task loop executing\r\n");
//! [main_task_1]
//! [main_task_2]
// Update hexadecimal 32-bit integer in string, and print it
dbg_sprint_hexint(&main_string[23], main_counter++);
dbg_print_str(main_string);
//! [main_task_2]
//! [main_task_close]
vTaskDelay(1000 / portTICK_RATE_MS);
} while(1);
}
