Change the type of dma_addr_t to uint64_t. It is a 64-bit type on most
authorkettenis <kettenis@openbsd.org>
Sat, 23 Dec 2023 13:44:57 +0000 (13:44 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 23 Dec 2023 13:44:57 +0000 (13:44 +0000)
commit93276353d59b7a7bb8484dc6badd8eb14d24d798
tree707e904b4b6833fa1b7b03abbaa0fcd4f34b6e0c
parentcc7eb4aea75c89434fab41d6d2775d8666a0d05e
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