From 93276353d59b7a7bb8484dc6badd8eb14d24d798 Mon Sep 17 00:00:00 2001 From: kettenis Date: Sat, 23 Dec 2023 13:44:57 +0000 Subject: [PATCH] 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@ --- sys/dev/pci/drm/include/linux/types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.20.1