[PATCH 14/29] device/dev_pager.c (device_pager_data_request): cast to (void *) instead to (char *)

[Marin Ramesa]

* device/dev_pager.c (device_pager_data_request) (vm_object_page_map) (ds): 
Cast to (void *) instead to (char *).

---
 device/dev_pager.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/device/dev_pager.c b/device/dev_pager.c
index 8a2797c..35c79b3 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -357,7 +357,7 @@ kern_return_t       device_pager_data_request(
 
            vm_object_page_map(object,
                               offset, length,
-                              device_map_page, (char *)ds);
+                              device_map_page, (void *)ds);
 
            vm_object_deallocate(object);
        }
-- 
1.8.1.4