/* Prints out raw parameter using given format. Caller needs to do byte swapping if needed.  */
static void print_raw_param(const char *, abi_long, int)
/* Prints out raw parameter using given format. Caller needs to do byte swapping if needed.  */
static void print_raw_param(const char *, abi_long, int)
{
    char format[64];
    (void) snprintf(format, sizeof (format), "%s%s", fmt, get_comma(last));
    gemu_log(format, param);
}