[PATCH 2/4] device/dev_pager.c: remove unnecessary casts

[Marin Ramesa]

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