diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-13 21:06:53 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-15 21:47:09 +0100 |
commit | fcda4718b1b8135d0d484f97bddaa683292b97c1 (patch) | |
tree | 54cef729b587789b00c4175978cf5294e72d29c8 /kern/elf-load.c | |
parent | e1e4d8e34f49463b7d40ca2a2c86ce850d95571c (diff) |
device/dev_pager.c: remove unnecessary casts
Variable pager is already of ipc_port_t type.
* device/dev_pager.c: Remove unnecessary casts.
Diffstat (limited to 'kern/elf-load.c')
0 files changed, 0 insertions, 0 deletions