diff options
| -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"); |