diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-09 23:57:29 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-10 00:45:11 +0100 |
| commit | be8f70ce365dbfff087478ef3d3d90765465bbf2 (patch) | |
| tree | ac172ce46cc6704dbf8928345366336dd8a0427f /device | |
| parent | a2622ab4a8b8dcf7feaaf9c466169feb929bcf2e (diff) | |
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 *).
Diffstat (limited to 'device')
| -rw-r--r-- | device/dev_pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 8a2797c6..35c79b33 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); } |