From 9f22edc2faf1dda3d20b76e3d7d3f4a3e7435431 Mon Sep 17 00:00:00 2001 From: Alexander von Gluck IV Date: Thu, 30 Jan 2014 14:53:05 -0600 Subject: [PATCH] intel_810: fix for x86_64 --- src/add-ons/kernel/drivers/graphics/intel_810/driver.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/add-ons/kernel/drivers/graphics/intel_810/driver.cpp b/src/add-ons/kernel/drivers/graphics/intel_810/driver.cpp index edb7b9e46a..fc71602661 100644 --- a/src/add-ons/kernel/drivers/graphics/intel_810/driver.cpp +++ b/src/add-ons/kernel/drivers/graphics/intel_810/driver.cpp @@ -541,7 +541,8 @@ device_open(const char* name, uint32 /*flags*/, void** cookie) { status_t status = B_OK; - TRACE("device_open() - name: %s, cookie: 0x%08lx)\n", name, (uint32)cookie); + TRACE("device_open() - name: %s, cookie: 0x%" B_PRIXADDR "\n", name, + (addr_t)cookie); // Find the device name in the list of devices. @@ -642,8 +643,8 @@ device_ioctl(void* dev, uint32 msg, void* buffer, size_t bufferLength) { DeviceInfo& di = *((DeviceInfo*)dev); - TRACE("device_ioctl(); ioctl: %lu, buffer: 0x%08lx, bufLen: %lu\n", msg, - (uint32)buffer, bufferLength); + TRACE("device_ioctl(); ioctl: %lu, buffer: 0x%" B_PRIXADDR ", " + "bufLen: %lu\n", msg, (addr_t)buffer, bufferLength); switch (msg) { case B_GET_ACCELERANT_SIGNATURE: