osfmk/ipc/ipc_object.c

163 	assert(object != IO_NULL);
217 	assert(object != IO_NULL);
222 	assert(object != IO_NULL);
258 	assert(entry->ie_object == IO_NULL);
296 	assert(entry->ie_object == IO_NULL);
331 	assert(otype < IOT_NUMBER);
332 	assert((type & MACH_PORT_TYPE_ALL_RIGHTS) == type);
333 	assert(type != MACH_PORT_TYPE_NONE);
334 	assert(urefs <= MACH_PORT_UREFS_MAX);
402 	assert(otype < IOT_NUMBER);
403 	assert((type & MACH_PORT_TYPE_ALL_RIGHTS) == type);
404 	assert(type != MACH_PORT_TYPE_NONE);
405 	assert(urefs <= MACH_PORT_UREFS_MAX);
581 	assert(IO_VALID(object));
588 		assert(ip_active(port));
590 			assert(port->ip_receiver == ipc_space_kernel);
607 			assert(port->ip_srights > 0);
619 		assert(ip_active(port));
620 		assert(port->ip_receiver_name != MACH_PORT_NULL);
621 		assert(port->ip_receiver == ipc_space_kernel);
632 		assert(((ipc_port_t)object)->ip_srights);
640 		assert(ip_active(port));
641 		assert(port->ip_receiver_name != MACH_PORT_NULL);
651 	    	assert(((ipc_port_t)object)->ip_sorights);
676 	assert(IO_VALID(object));
677 	assert(io_otype(object) == IOT_PORT);
712 	assert(IO_VALID(object));
713 	assert(io_otype(object) == IOT_PORT);
762 	assert(IO_VALID(object));
763 	assert(io_otype(object) == IOT_PORT);
777 			assert(entry->ie_bits & MACH_PORT_TYPE_SEND_RECEIVE);
793 		assert(IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE);
794 		assert(entry->ie_object == IO_NULL);
852 	assert(IO_VALID(object));
853 	assert(io_otype(object) == IOT_PORT);
874 		assert(entry == oentry);
875 		assert(entry->ie_bits & MACH_PORT_TYPE_SEND_RECEIVE);
880 		assert(IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE);
881 		assert(entry->ie_object == IO_NULL);
925 	assert(IO_VALID(object));
926 	assert(io_active(object));
948 		assert(port->ip_srights > 0);
964 		assert(port->ip_sorights > 0);
1064 	assert(io_otype(objp) == IOT_PORT);