--- src/VBox/Runtime/r0drv/freebsd/memuserkernel-r0drv-freebsd.c.orig	2009-07-07 02:30:00.000000000 +0200
+++ src/VBox/Runtime/r0drv/freebsd/memuserkernel-r0drv-freebsd.c	2009-07-08 16:57:57.000000000 +0200
@@ -40,7 +40,7 @@
 
 RTR0DECL(int) RTR0MemUserCopyFrom(void *pvDst, RTR3PTR R3PtrSrc, size_t cb)
 {
-    int rc = copyin((const user_addr_t)R3PtrSrc, pvDst, cb);
+    int rc = copyin((caddr_t)R3PtrSrc, pvDst, cb);
     if (RT_LIKELY(rc == 0))
         return VINF_SUCCESS;
     return VERR_ACCESS_DENIED;
@@ -64,7 +64,7 @@
 
 RTR0DECL(bool) RTR0MemKernelIsValidAddr(void *pv)
 {
-    return R3Ptr >= VM_MAXUSER_ADDRESS;
+    return (uintptr_t)pv >= VM_MAXUSER_ADDRESS;
 }