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/device_pager.srv | |
| 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/device_pager.srv')
0 files changed, 0 insertions, 0 deletions