Change the type of dma_addr_t to uint64_t. It is a 64-bit type on most

Linux architectures (including the most popular 32-bit ones) and a new
driver I'm working on tries to print a dma_addr_t variable using %llx.

ok jsg@

diff --git a/sys/dev/pci/drm/include/linux/types.h b/sys/dev/pci/drm/include/linux/types.h
index 6b3de73..c181290 100644 (file)
--- a/sys/dev/pci/drm/include/linux/types.h
+++ b/sys/dev/pci/drm/include/linux/types.h
@@ -37,7 +37,7 @@ typedef uint32_t __be32;
 typedef uint64_t __le64; 
 typedef uint64_t __be64; 
 
-typedef bus_addr_t dma_addr_t;
+typedef uint64_t dma_addr_t;
 typedef paddr_t phys_addr_t;
 typedef paddr_t resource_size_t;