From 1705082fa24d08321a902c8bf6743ab98413a282 Mon Sep 17 00:00:00 2001 From: Michael Lotz Date: Tue, 5 May 2020 21:23:44 +0200 Subject: [PATCH] usb_midi: Fix 32 bit build. --- src/add-ons/kernel/drivers/midi/usb_midi/usb_midi.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/add-ons/kernel/drivers/midi/usb_midi/usb_midi.cpp b/src/add-ons/kernel/drivers/midi/usb_midi/usb_midi.cpp index b6b7aace51..2fac0eec80 100644 --- a/src/add-ons/kernel/drivers/midi/usb_midi/usb_midi.cpp +++ b/src/add-ons/kernel/drivers/midi/usb_midi/usb_midi.cpp @@ -652,9 +652,10 @@ usb_midi_write(driver_cookie* cookie, off_t position, // TODO add a loop to allow writing multiple events in a single write() // call if desired. if (midicode != 0xF0) { - if (*num_bytes < CINbytes[cin]) { - DPRINTF_ERR((MY_ID "Expected %d bytes for MIDI command %x but got " - "only %d.\n", CINbytes[cin], cin, *num_bytes)); + if ((int)*num_bytes < CINbytes[cin]) { + DPRINTF_ERR((MY_ID "Expected %d bytes for MIDI command %" B_PRIu8 + " but got only %" B_PRIuSIZE ".\n", CINbytes[cin], cin, + *num_bytes)); return B_BAD_DATA; } *num_bytes = CINbytes[cin];