#include <mach/boolean.h>
#include <mach/port.h>
-#include <kern/lock.h>
#include <kern/kalloc.h>
#include <ipc/port.h>
#include <ipc/ipc_space.h>
{
mach_port_index_t hindex, index;
- assert(obj != IO_NULL);
+ if (obj == IO_NULL) {
+ return FALSE;
+ }
hindex = IH_TABLE_HASH(obj, size);