[PATCH] Use mach_port_name in db_lookup_port

[Flavio Cruz]

---
 ddb/db_print.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ddb/db_print.c b/ddb/db_print.c
index 832faf57..8a76beea 100644
--- a/ddb/db_print.c
+++ b/ddb/db_print.c
@@ -493,7 +493,7 @@ db_lookup_port(
            return(0);
        if (id < 0)
            return(0);
-       entry = ipc_entry_lookup(thread->task->itk_space, (mach_port_t) id);
+       entry = ipc_entry_lookup(thread->task->itk_space, (mach_port_name_t) 
id);
        if (entry && entry->ie_bits & MACH_PORT_TYPE_PORT_RIGHTS)
            return((ipc_port_t)entry->ie_object);
        return(0);
-- 
2.37.2