commit 2077c6523de1005eef73010436d6ff488aa6b25c
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Mar 30 00:26:32 2026 +0200

    linux: Fix vmtophys return type
    
    On PAE we need to be able to return 64b

diff --git a/linux/dev/glue/kmem.c b/linux/dev/glue/kmem.c
index 509229d1..23ef03e8 100644
--- a/linux/dev/glue/kmem.c
+++ b/linux/dev/glue/kmem.c
@@ -558,7 +558,7 @@ vfree (void *addr)
   vmalloc_list_remove (p);
 }
 
-unsigned long
+phys_addr_t
 vmtophys (void *addr)
 {
 	return kvtophys((vm_offset_t) addr);
diff --git a/linux/dev/include/linux/mm.h b/linux/dev/include/linux/mm.h
index b0c3ab08..bb76029c 100644
--- a/linux/dev/include/linux/mm.h
+++ b/linux/dev/include/linux/mm.h
@@ -281,7 +281,7 @@ extern void * vmalloc(unsigned long size);
 extern void * vremap(unsigned long offset, unsigned long size);
 extern void vfree(void * addr);
 extern int vread(char *buf, char *addr, int count);
-extern unsigned long vmtophys (void *);
+extern phys_addr_t vmtophys (void *);
 
 /* mmap.c */
 extern unsigned long do_mmap(struct file * file, unsigned long addr, unsigned long len,
