From fcda4718b1b8135d0d484f97bddaa683292b97c1 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Fri, 13 Dec 2013 21:06:53 +0100 Subject: device/dev_pager.c: remove unnecessary casts 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(-) (limited to 'device') 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"); -- cgit v1.2.3