#endif
/**
- * Convert user buffer to physical address
+ * Convert user pointer to physical address
*
* @v userptr User pointer
* @v offset Offset from user pointer
return ( userptr + offset );
}
+/**
+ * Convert physical address to user pointer
+ *
+ * @v phys_addr Physical address
+ * @ret userptr User pointer
+ */
+static inline __always_inline userptr_t
+UACCESS_INLINE ( linux, phys_to_user ) ( physaddr_t phys_addr ) {
+
+ /* For symmetry with the stub user_to_phys() */
+ return phys_addr;
+}
+
static inline __always_inline userptr_t
UACCESS_INLINE ( linux, virt_to_user ) ( volatile const void *addr ) {
return trivial_virt_to_user ( addr );