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 | |
| 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.
| -rw-r--r-- | device/dev_pager.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 97e417e..b9796ca 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -330,7 +330,7 @@ kern_return_t device_pager_data_request( printf("(device_pager)data_request: pager=%p, offset=0x%lx, length=0x%x\n", pager, offset, length); - ds = dev_pager_hash_lookup((ipc_port_t)pager); + ds = dev_pager_hash_lookup(pager); if (ds == DEV_PAGER_NULL) panic("(device_pager)data_request: lookup failed"); @@ -470,7 +470,7 @@ kern_return_t device_pager_data_write( panic("(device_pager)data_write: called"); - ds = dev_pager_hash_lookup((ipc_port_t)pager); + ds = dev_pager_hash_lookup(pager); if (ds == DEV_PAGER_NULL) panic("(device_pager)data_write: lookup failed"); |