osfmk/ipc/ipc_right.c

77 #include <kern/assert.h>
111 	assert(space != IS_NULL);
153 	assert(space != IS_NULL);
200 	assert(is_active(space));
201 	assert(io_otype(object) == IOT_PORT);
214 		assert(name != MACH_PORT_NULL);
218 		assert(entry != IE_NULL);
219 		assert(entry->ie_bits & MACH_PORT_TYPE_RECEIVE);
220 		assert(port == (ipc_port_t) entry->ie_object);
228 		assert((entry = *entryp) != IE_NULL);
229 		assert(IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_SEND);
230 		assert(port == (ipc_port_t) entry->ie_object);
298 			assert(port != IP_NULL);
343 					assert(previous == IP_NULL);
355 				assert(new_request != IE_REQ_NONE);
371 			assert(urefs > 0);
426 	assert(ip_active(port));
427 	assert(port == (ipc_port_t) entry->ie_object);
484 	assert(is_active(space));
485 	assert(port == (ipc_port_t) entry->ie_object);
495 	assert((bits & MACH_PORT_TYPE_RECEIVE) == 0);
496 	assert(IE_BITS_UREFS(bits) > 0);
499                 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
501                 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
502                 assert(IE_BITS_UREFS(bits) == 1);
531 			assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
564 	assert(!is_active(space));
577 		assert(entry->ie_request == IE_REQ_NONE);
578 		assert(entry->ie_object == IO_NULL);
584 		assert(entry->ie_request == IE_REQ_NONE);
585 		assert(pset != IPS_NULL);
588 		assert(ips_active(pset));
602 		assert(port != IP_NULL);
615 			assert(port->ip_srights > 0);
631 			assert(port->ip_receiver_name == name);
632 			assert(port->ip_receiver == space);
643 			assert(port->ip_sorights > 0);
648 			assert(port->ip_receiver != space);
691 	assert(is_active(space));
695 		assert(entry->ie_request == IE_REQ_NONE);
696 		assert(entry->ie_object == IO_NULL);
705 		assert(entry->ie_request == IE_REQ_NONE);
706 		assert(pset != IPS_NULL);
714 		assert(ips_active(pset));
728 		assert(port != IP_NULL);
737 			assert((type & MACH_PORT_TYPE_RECEIVE) == 0);
754 			assert(port->ip_srights > 0);
769 			assert(ip_active(port));
770 			assert(port->ip_receiver == space);
781 			assert(port->ip_sorights > 0);
786 			assert(port->ip_receiver != space);
835 	assert(is_active(space));
841 		assert(IE_BITS_UREFS(bits) > 0);
842 		assert(entry->ie_request == IE_REQ_NONE);
843 		assert(entry->ie_object == IO_NULL);
862 		assert(IE_BITS_UREFS(bits) == 1);
865 		assert(port != IP_NULL);
870 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
875 		assert(port->ip_sorights > 0);
898 		assert(IE_BITS_UREFS(bits) > 0);
901 		assert(port != IP_NULL);
905 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
910 		assert(port->ip_srights > 0);
952 		assert(IE_BITS_UREFS(bits) > 0);
955 		assert(port != IP_NULL);
958 		assert(ip_active(port));
959 		assert(port->ip_receiver_name == name);
960 		assert(port->ip_receiver == space);
961 		assert(port->ip_srights > 0);
1032 	assert(is_active(space));
1033 	assert(right < MACH_PORT_RIGHT_NUMBER);
1044 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_PORT_SET);
1045 		assert(IE_BITS_UREFS(bits) == 0);
1046 		assert(entry->ie_request == IE_REQ_NONE);
1055 		assert(pset != IPS_NULL);
1061 		assert(ips_active(pset));
1084 		assert(port != IP_NULL);
1093 		assert(ip_active(port));
1094 		assert(port->ip_receiver_name == name);
1095 		assert(port->ip_receiver == space);
1098 			assert(IE_BITS_TYPE(bits) ==
1100 			assert(IE_BITS_UREFS(bits) > 0);
1101 			assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
1102 			assert(port->ip_srights > 0);
1139 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
1140 			assert(IE_BITS_UREFS(bits) == 0);
1168 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1169 		assert(IE_BITS_UREFS(bits) == 1);
1172 		assert(port != IP_NULL);
1175 			assert(!(entry->ie_bits & MACH_PORT_TYPE_SEND_ONCE));
1180 		assert(port->ip_sorights > 0);
1213 			assert(port != IP_NULL);
1225 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1226 		assert(IE_BITS_UREFS(bits) > 0);
1227 		assert(entry->ie_object == IO_NULL);
1228 		assert(entry->ie_request == IE_REQ_NONE);
1259 		assert(port != IP_NULL);
1262 			assert((entry->ie_bits & MACH_PORT_TYPE_SEND) == 0);
1267 		assert(port->ip_srights > 0);
1289 				assert(port->ip_receiver_name == name);
1290 				assert(port->ip_receiver == space);
1292 				assert(IE_BITS_TYPE(bits) ==
1299 				assert(IE_BITS_TYPE(bits) ==
1383 		assert(IP_VALID(port));
1387 			assert(ip_active(port));
1406 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1444 	assert(is_active(space));
1506 		assert(port != IP_NULL);
1604 	assert(is_active(space));
1613 		assert(port != IP_NULL);
1616 		assert(ip_active(port));
1617 		assert(port->ip_receiver_name == name);
1618 		assert(port->ip_receiver == space);
1646 		assert(port != IP_NULL);
1649 		assert(ip_active(port));
1650 		assert(port->ip_receiver_name == name);
1651 		assert(port->ip_receiver == space);
1679 		assert(port != IP_NULL);
1682 		assert(ip_active(port));
1683 		assert(port->ip_receiver_name == name);
1684 		assert(port->ip_receiver == space);
1698 			assert(IE_BITS_TYPE(bits) ==
1700 			assert(IE_BITS_UREFS(bits) > 0);
1701 			assert(port->ip_srights > 0);
1707 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
1708 			assert(IE_BITS_UREFS(bits) == 0);
1737 		assert(IE_BITS_UREFS(bits) > 0);
1740 		assert(port != IP_NULL);
1760 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1761 			assert(port->ip_sorights > 0);
1767 		assert(port->ip_srights > 0);
1789 		assert(IE_BITS_UREFS(bits) > 0);
1792 		assert(port != IP_NULL);
1813 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1814 			assert(port->ip_sorights > 0);
1820 		assert(port->ip_srights > 0);
1824 				assert(port->ip_receiver_name == name);
1825 				assert(port->ip_receiver == space);
1826 				assert(IE_BITS_TYPE(bits) ==
1831 				assert(IE_BITS_TYPE(bits) ==
1866 		assert(IE_BITS_UREFS(bits) > 0);
1869 		assert(port != IP_NULL);
1889 			assert(bits & MACH_PORT_TYPE_SEND);
1890 			assert(port->ip_srights > 0);
1896 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1897 		assert(IE_BITS_UREFS(bits) == 1);
1898 		assert(port->ip_sorights > 0);
1920 	assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1921 	assert(IE_BITS_UREFS(bits) > 0);
1922 	assert(entry->ie_request == IE_REQ_NONE);
1923 	assert(entry->ie_object == 0);
1933 	assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1934 	assert(IE_BITS_UREFS(bits) > 0);
1935 	assert(entry->ie_request == IE_REQ_NONE);
1936 	assert(entry->ie_object == 0);
1975 	assert(is_active(space));
1977 	assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1982 		assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1984 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
1985 		assert(object != IO_DEAD);
1991 		assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1997 		assert(object == IO_DEAD);
1998 		assert(IE_BITS_UREFS(bits) > 0);
2001 			assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
2005 		assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
2007 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
2008 		assert(object != IO_DEAD);
2009 		assert(entry->ie_object == object);
2010 		assert(IE_BITS_UREFS(bits) > 0);
2013 			assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX-1);
2067 	assert(is_active(space));
2079 	assert(port != IP_NULL);
2097 	assert(port->ip_srights > 0);
2101 			assert(port->ip_receiver_name == name);
2102 			assert(port->ip_receiver == space);
2103 			assert(IE_BITS_TYPE(bits) ==
2110 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
2181 	assert(IO_VALID(object));
2182 	assert(io_otype(object) == IOT_PORT);
2183 	assert(io_active(object));
2184 	assert(entry->ie_object == object);
2191 		assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2192 		assert(port->ip_sorights > 0);
2215 		assert(port->ip_srights > 0);
2234 			assert(port->ip_srights > 1);
2235 			assert(urefs > 0);
2236 			assert(urefs < MACH_PORT_UREFS_MAX);
2256 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
2257 			assert(IE_BITS_UREFS(bits) == 0);
2264 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2265 			assert(IE_BITS_UREFS(bits) == 0);
2283 		assert(port->ip_mscount == 0);
2284 		assert(port->ip_receiver_name == MACH_PORT_NULL);
2304 		assert((bits & MACH_PORT_TYPE_RECEIVE) == 0);
2307 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
2308 			assert(IE_BITS_UREFS(bits) > 0);
2309 			assert(port->ip_srights > 0);
2319 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2320 			assert(IE_BITS_UREFS(bits) == 0);
2366 	assert(is_active(space));
2367 	assert(oname != nname);
2379 		assert(bits & MACH_PORT_TYPE_PORT_RIGHTS);
2381 		assert(port != IP_NULL);
2388 			assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
2389 			assert(oentry->ie_request == IE_REQ_NONE);
2401 	assert((nentry->ie_bits & IE_BITS_RIGHT_MASK) == 0);
2411 		assert(port != IP_NULL);
2426 		assert(port != IP_NULL);
2429 		assert(ip_active(port));
2430 		assert(port->ip_receiver_name == oname);
2431 		assert(port->ip_receiver == space);
2442 		assert(pset != IPS_NULL);
2445 		assert(ips_active(pset));
2446 		assert(pset->ips_local_name == oname);
2461 	assert(oentry->ie_request == IE_REQ_NONE);