Changes in uspace/drv/bus/usb/ohci/utils/malloc32.h [d4d74dc:f8dfb40] in mainline

File:

• uspace/drv/bus/usb/ohci/utils/malloc32.h (modified) (2 diffs)

uspace/drv/bus/usb/ohci/utils/malloc32.h

@@ -37 +37 @@
 #include <assert.h>
 #include <malloc.h>
-#include <unistd.h>
 #include <errno.h>
 #include <mem.h>
@@ -57 +56 @@
         uintptr_t result;
         int ret = as_get_physical_mapping(addr, &result);
-        
+
         if (ret != EOK)
                 return 0;
-        
-        return result;
+        return (result | ((uintptr_t)addr & 0xfff));
 }
 /*----------------------------------------------------------------------------*/