bcm64: use 64-bit uvlong physical address in vmap()

2 files changed, 3 insertions, 3 deletions

diff --git a/sys/src/9/bcm64/fns.h b/sys/src/9/bcm64/fns.h
index fb8bb0404..34cc0c812 100644
--- a/sys/src/9/bcm64/fns.h
+++ b/sys/src/9/bcm64/fns.h
@@ -68,7 +68,7 @@ extern void kmapinval(void);
 extern KMap *kmap(Page*);
 extern void kunmap(KMap*);
 extern uintptr mmukmap(uintptr, uintptr, usize);
-extern void* vmap(uintptr, int);
+extern void* vmap(uvlong, int);
 extern void vunmap(void*, int);
 
 extern void mmu0init(uintptr*);
diff --git a/sys/src/9/bcm64/mmu.c b/sys/src/9/bcm64/mmu.c
index e53270af9..983f28310 100644
--- a/sys/src/9/bcm64/mmu.c
+++ b/sys/src/9/bcm64/mmu.c
@@ -319,10 +319,10 @@ mmukmap(uintptr va, uintptr pa, usize size)
 }
 
 void*
-vmap(uintptr pa, int size)
+vmap(uvlong pa, int size)
 {
 	static uintptr base = VMAP;
-	uintptr pe = pa + size;
+	uvlong pe = pa + size;
 	uintptr va;
 
 	va = base;