From: kettenis <kettenis@openbsd.org>
Date: Sat, 23 Dec 2023 13:44:57 +0000 (+0000)
Subject: Change the type of dma_addr_t to uint64_t.  It is a 64-bit type on most
X-Git-Url: http://artulab.com/gitweb/?a=commitdiff_plain;h=93276353d59b7a7bb8484dc6badd8eb14d24d798;p=openbsd

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 6b3de73cd9b..c181290b7d2 100644
--- 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;