From be8f70ce365dbfff087478ef3d3d90765465bbf2 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Mon, 9 Dec 2013 23:57:29 +0100 Subject: device/dev_pager.c (device_pager_data_request): cast to (void *) instead to (char *) * 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(-) (limited to 'device') 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); } -- cgit v1.2.3