osfmk/ipc/ipc_port.c

164 	assert(ip_active(port));
165 	assert(name != MACH_PORT_NULL);
166 	assert(soright != IP_NULL);
178 	assert(ipr->ipr_name == MACH_PORT_NULL);
221 	assert(ip_active(port));
285 		assert(nsize > osize);
332 		assert(ip_active(port));
335 		assert(table != IPR_NULL);
338 		assert(ipr->ipr_name == name);
365 	assert (table != IPR_NULL);
367 	assert(index != IE_REQ_NONE);
369 	assert(ipr->ipr_name == name);
403 	assert(ip_active(port));
405 	assert(table != IPR_NULL);
407 	assert (index != IE_REQ_NONE);
409 	assert(ipr->ipr_name == name);
440 	assert(ip_active(port));
471 	assert(ip_active(port));
505 	assert(ip_active(port));
512 		assert(port->ip_pset_count == 0);
709 		assert(requests != IPR_NULL);
757 	assert(!ip_active(port));
796 	assert(ip_active(port));
799 	assert(port->ip_pset_count == 0);
800 	assert(port->ip_mscount == 0);
834 		assert(kmsg != IKM_NULL);
839 			assert(inuse_port == port);
887 	assert(port != IP_NULL);
888 	assert(dest != IP_NULL);
939 		assert(ip_active(port));
940 		assert(port->ip_receiver_name == MACH_PORT_NULL);
941 		assert(port->ip_destination == IP_NULL);
948 			assert(ip_active(dest));
949 			assert(dest->ip_receiver_name == MACH_PORT_NULL);
972 	assert(ip_active(port));
973 	assert(port->ip_receiver_name == MACH_PORT_NULL);
974 	assert(port->ip_destination == IP_NULL);
986 		assert(ip_active(port));
987 		assert(port->ip_receiver_name == MACH_PORT_NULL);
988 		assert(port->ip_destination != IP_NULL);
997 	assert(!ip_active(base) ||
1025 	assert(is_active(space));
1034 	assert(port != IP_NULL);
1037 	assert(ip_active(port));
1038 	assert(port->ip_receiver_name == name);
1039 	assert(port->ip_receiver == space);
1060 	assert(ip_active(port));
1117 		assert(port->ip_srights > 0);
1191 	assert(port->ip_srights > 0);
1219 	assert(ip_active(port));
1274 	assert(port->ip_sorights > 0);
1301 	assert(ip_active(port));
1302 	assert(port->ip_receiver_name == MACH_PORT_NULL);
1377 	assert(ip_active(port));
1378 //	assert(port->ip_receiver_name != MACH_PORT_NULL);
1379 	assert(port->ip_receiver == space);
1411 	assert(!ip_active(port));
1504 		assert(port_count < port_count_warning);
1551 	assert(port_count > 0);