summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-13 21:06:53 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-15 21:47:09 +0100
commitfcda4718b1b8135d0d484f97bddaa683292b97c1 (patch)
tree54cef729b587789b00c4175978cf5294e72d29c8
parente1e4d8e34f49463b7d40ca2a2c86ce850d95571c (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.c4
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");