diff --git a/src/add-ons/kernel/drivers/graphics/intel_extreme/device.cpp b/src/add-ons/kernel/drivers/graphics/intel_extreme/device.cpp
index a423fdb5b5..2c6aa75a69 100644
--- a/src/add-ons/kernel/drivers/graphics/intel_extreme/device.cpp
+++ b/src/add-ons/kernel/drivers/graphics/intel_extreme/device.cpp
@@ -263,8 +263,8 @@ device_ioctl(void* data, uint32 op, void* buffer, size_t bufferLength)
 		}
 
 		default:
-			ERROR("ioctl() unknown message %ld (length = %ld)\n", op,
-				bufferLength);
+			ERROR("ioctl() unknown message %" B_PRIu32 " (length = %"
+				B_PRIuSIZE ")\n", op, bufferLength);
 			break;
 	}