Index: uspace/drv/uhci/utils/malloc32.h
===================================================================
--- uspace/drv/uhci/utils/malloc32.h	(revision d1984e02ed1e5a7b745c473f4afaa563a3abdf0b)
+++ uspace/drv/uhci/utils/malloc32.h	(revision 54229dba5366fe0bafd926b70d9cb9abcc246277)
@@ -46,6 +46,7 @@
 	uintptr_t result;
 	int ret = as_get_physical_mapping(addr, &result);
+
 	assert(ret == 0);
-	return (void*)result;
+	return (void*)(result | ((uintptr_t)addr & 0xfff));
 }