1 files changed, 1 insertions, 3 deletions
diff --git a/int15ps2.h b/int15ps2.h
index 438dfd8..dfc5b3a 100644
--- a/int15ps2.h
+++ b/int15ps2.h
@@ -227,9 +227,7 @@ static bool ps2m_detect_wheel(void)
 
 	if (device_id != PS2M_DEVICE_ID_PLAIN) {
 		// TODO: Likely we have to accept more device IDs here
-		dlog_print("Unknown initial mouse device_id=");
-		dlog_printx(device_id);
-		dlog_endline();
+		dprintf("Unknown initial mouse device_id=0x%x\n", device_id);
 		return false;
 	}