Lines Matching refs:assert
77 #include <kern/assert.h>
111 assert(space != IS_NULL);
153 assert(space != IS_NULL);
200 assert(space->is_active);
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);
292 assert(port != IP_NULL);
322 assert(previous == IP_NULL);
334 assert(request != 0);
353 assert(bits & MACH_PORT_TYPE_DEAD_NAME);
360 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
361 assert(urefs > 0);
406 assert(ip_active(port));
407 assert(port == (ipc_port_t) entry->ie_object);
459 assert(space->is_active);
460 assert(port == (ipc_port_t) entry->ie_object);
470 assert((bits & MACH_PORT_TYPE_RECEIVE) == 0);
471 assert(IE_BITS_UREFS(bits) > 0);
474 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
476 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
477 assert(IE_BITS_UREFS(bits) == 1);
507 assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
538 assert(!space->is_active);
551 assert(entry->ie_request == 0);
552 assert(entry->ie_object == IO_NULL);
558 assert(entry->ie_request == 0);
559 assert(pset != IPS_NULL);
562 assert(ips_active(pset));
577 assert(port != IP_NULL);
590 assert(port->ip_srights > 0);
602 assert(port->ip_receiver_name == name);
603 assert(port->ip_receiver == space);
608 assert(port->ip_sorights > 0);
613 assert(port->ip_receiver != space);
656 assert(space->is_active);
660 assert(entry->ie_request == 0);
661 assert(entry->ie_object == IO_NULL);
669 assert(entry->ie_request == 0);
670 assert(pset != IPS_NULL);
676 assert(ips_active(pset));
691 assert(port != IP_NULL);
700 assert((type & MACH_PORT_TYPE_RECEIVE) == 0);
717 assert(port->ip_srights > 0);
728 assert(ip_active(port));
729 assert(port->ip_receiver == space);
734 assert(port->ip_sorights > 0);
739 assert(port->ip_receiver != space);
788 assert(space->is_active);
794 assert(IE_BITS_UREFS(bits) > 0);
795 assert(entry->ie_request == 0);
796 assert(entry->ie_object == IO_NULL);
811 assert(IE_BITS_UREFS(bits) == 1);
814 assert(port != IP_NULL);
819 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
824 assert(port->ip_sorights > 0);
848 assert(IE_BITS_UREFS(bits) > 0);
851 assert(port != IP_NULL);
855 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
860 assert(port->ip_srights > 0);
900 assert(IE_BITS_UREFS(bits) > 0);
903 assert(port != IP_NULL);
906 assert(ip_active(port));
907 assert(port->ip_receiver_name == name);
908 assert(port->ip_receiver == space);
909 assert(port->ip_srights > 0);
977 assert(space->is_active);
978 assert(right < MACH_PORT_RIGHT_NUMBER);
989 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_PORT_SET);
990 assert(IE_BITS_UREFS(bits) == 0);
991 assert(entry->ie_request == 0);
1000 assert(pset != IPS_NULL);
1009 assert(ips_active(pset));
1030 assert(port != IP_NULL);
1039 assert(ip_active(port));
1040 assert(port->ip_receiver_name == name);
1041 assert(port->ip_receiver == space);
1044 assert(IE_BITS_TYPE(bits) ==
1046 assert(IE_BITS_UREFS(bits) > 0);
1047 assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
1048 assert(port->ip_srights > 0);
1066 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
1067 assert(IE_BITS_UREFS(bits) == 0);
1090 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1091 assert(IE_BITS_UREFS(bits) == 1);
1094 assert(port != IP_NULL);
1097 assert(!(entry->ie_bits & MACH_PORT_TYPE_SEND_ONCE));
1102 assert(port->ip_sorights > 0);
1136 assert(port != IP_NULL);
1147 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1148 assert(IE_BITS_UREFS(bits) > 0);
1149 assert(entry->ie_object == IO_NULL);
1150 assert(entry->ie_request == 0);
1182 assert(port != IP_NULL);
1185 assert((entry->ie_bits & MACH_PORT_TYPE_SEND) == 0);
1190 assert(port->ip_srights > 0);
1212 assert(port->ip_receiver_name == name);
1213 assert(port->ip_receiver == space);
1214 assert(IE_BITS_TYPE(bits) ==
1220 assert(IE_BITS_TYPE(bits) ==
1301 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1340 assert(space->is_active);
1402 assert(port != IP_NULL);
1495 assert(space->is_active);
1505 assert(port != IP_NULL);
1508 assert(ip_active(port));
1509 assert(port->ip_receiver_name == name);
1510 assert(port->ip_receiver == space);
1539 assert(port != IP_NULL);
1542 assert(ip_active(port));
1543 assert(port->ip_receiver_name == name);
1544 assert(port->ip_receiver == space);
1573 assert(port != IP_NULL);
1576 assert(ip_active(port));
1577 assert(port->ip_receiver_name == name);
1578 assert(port->ip_receiver == space);
1592 assert(IE_BITS_TYPE(bits) ==
1594 assert(IE_BITS_UREFS(bits) > 0);
1595 assert(port->ip_srights > 0);
1601 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
1602 assert(IE_BITS_UREFS(bits) == 0);
1632 assert(IE_BITS_UREFS(bits) > 0);
1635 assert(port != IP_NULL);
1654 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1655 assert(port->ip_sorights > 0);
1661 assert(port->ip_srights > 0);
1684 assert(IE_BITS_UREFS(bits) > 0);
1687 assert(port != IP_NULL);
1707 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1708 assert(port->ip_sorights > 0);
1714 assert(port->ip_srights > 0);
1718 assert(port->ip_receiver_name == name);
1719 assert(port->ip_receiver == space);
1720 assert(IE_BITS_TYPE(bits) ==
1725 assert(IE_BITS_TYPE(bits) ==
1761 assert(IE_BITS_UREFS(bits) > 0);
1764 assert(port != IP_NULL);
1784 assert(bits & MACH_PORT_TYPE_SEND);
1785 assert(port->ip_srights > 0);
1791 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND_ONCE);
1792 assert(IE_BITS_UREFS(bits) == 1);
1793 assert(port->ip_sorights > 0);
1815 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1816 assert(IE_BITS_UREFS(bits) > 0);
1817 assert(entry->ie_request == 0);
1818 assert(entry->ie_object == 0);
1828 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
1829 assert(IE_BITS_UREFS(bits) > 0);
1830 assert(entry->ie_request == 0);
1831 assert(entry->ie_object == 0);
1870 assert(space->is_active);
1872 assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1877 assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1879 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
1880 assert(object != IO_DEAD);
1886 assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1892 assert(object == IO_DEAD);
1893 assert(IE_BITS_UREFS(bits) > 0);
1896 assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX);
1900 assert((msgt_name == MACH_MSG_TYPE_MOVE_SEND) ||
1902 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
1903 assert(object != IO_DEAD);
1904 assert(entry->ie_object == object);
1905 assert(IE_BITS_UREFS(bits) > 0);
1908 assert(IE_BITS_UREFS(bits) < MACH_PORT_UREFS_MAX-1);
1959 assert(space->is_active);
1971 assert(port != IP_NULL);
1988 assert(port->ip_srights > 0);
1992 assert(port->ip_receiver_name == name);
1993 assert(port->ip_receiver == space);
1994 assert(IE_BITS_TYPE(bits) ==
2001 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
2070 assert(IO_VALID(object));
2071 assert(io_otype(object) == IOT_PORT);
2072 assert(io_active(object));
2073 assert(entry->ie_object == object);
2080 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2081 assert(port->ip_sorights > 0);
2103 assert(port->ip_srights > 0);
2122 assert(port->ip_srights > 1);
2123 assert(urefs > 0);
2124 assert(urefs < MACH_PORT_UREFS_MAX);
2144 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_RECEIVE);
2145 assert(IE_BITS_UREFS(bits) == 0);
2151 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2152 assert(IE_BITS_UREFS(bits) == 0);
2169 assert(port->ip_mscount == 0);
2170 assert(port->ip_receiver_name == MACH_PORT_NULL);
2190 assert((bits & MACH_PORT_TYPE_RECEIVE) == 0);
2193 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_SEND);
2194 assert(IE_BITS_UREFS(bits) > 0);
2195 assert(port->ip_srights > 0);
2205 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_NONE);
2206 assert(IE_BITS_UREFS(bits) == 0);
2250 assert(space->is_active);
2251 assert(oname != nname);
2263 assert(bits & MACH_PORT_TYPE_PORT_RIGHTS);
2265 assert(port != IP_NULL);
2271 assert(IE_BITS_TYPE(bits) == MACH_PORT_TYPE_DEAD_NAME);
2272 assert(oentry->ie_request == 0);
2284 assert((nentry->ie_bits & IE_BITS_RIGHT_MASK) == 0);
2294 assert(port != IP_NULL);
2309 assert(port != IP_NULL);
2312 assert(ip_active(port));
2313 assert(port->ip_receiver_name == oname);
2314 assert(port->ip_receiver == space);
2325 assert(pset != IPS_NULL);
2328 assert(ips_active(pset));
2329 assert(pset->ips_local_name == oname);
2344 assert(oentry->ie_request == 0);