diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-09 23:57:32 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-10 00:49:35 +0100 |
| commit | 3d30d7626d6041a8899137e6f39e6a26cae1f888 (patch) | |
| tree | a669c3a6b3805a9a14c4c92345f6d535d6171dc6 /device/device_reply.cli | |
| parent | be8f70ce365dbfff087478ef3d3d90765465bbf2 (diff) | |
device/dev_pager.c (device_pager_data_request_done): remove unnecessary cast
The argument to trunc_page() is already cast to vm_offset_t in the
macro itself.
* device/dev_pager.c (device_pager_data_request_done) (trunc_page) (io_data): Don't cast to vm_offset_t.
Diffstat (limited to 'device/device_reply.cli')
0 files changed, 0 insertions, 0 deletions