Format: mprintf(format_string, ...)
This command takes the same syntax as the C library printf() function, except the %n format is not supported.
For example, given the following target code:
char * my_string = "hello world";
int my_int = 10;
And with the following command:
mprintf("my_string=\"%s\" and (2*my_int+1)=%d", my_string, 2*my_int+1);
my_string="hello world" and (2*my_int+1)=21