[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 2/4] device/dev_pager.c: remove unnecessary casts
From: |
Marin Ramesa |
Subject: |
[PATCH 2/4] device/dev_pager.c: remove unnecessary casts |
Date: |
Fri, 13 Dec 2013 21:06:53 +0100 |
Variable pager is already of ipc_port_t type.
* device/dev_pager.c: Remove unnecessary casts.
---
device/dev_pager.c | 4 ++--
1 file 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");
--
1.8.1.4