Lines Matching refs:assert
161 assert(ip_active(port));
162 assert(name != MACH_PORT_NULL);
163 assert(soright != IP_NULL);
174 assert(ipr->ipr_name == MACH_PORT_NULL);
208 assert(ip_active(port));
274 assert(nsize > osize);
319 assert(ip_active(port));
320 assert(name != MACH_PORT_NULL);
321 assert(index != 0);
324 assert(table != IPR_NULL);
328 assert(ipr->ipr_name == name);
359 assert(ip_active(port));
390 assert(ip_active(port));
423 assert(ip_active(port));
430 assert(port->ip_pset_count == 0);
600 assert(soright != IP_NULL);
630 assert(ip_active(port));
633 assert(port->ip_pset_count == 0);
634 assert(port->ip_mscount == 0);
670 assert(kmsg != IKM_NULL);
720 assert(port != IP_NULL);
721 assert(dest != IP_NULL);
772 assert(ip_active(port));
773 assert(port->ip_receiver_name == MACH_PORT_NULL);
774 assert(port->ip_destination == IP_NULL);
781 assert(ip_active(dest));
782 assert(dest->ip_receiver_name == MACH_PORT_NULL);
805 assert(ip_active(port));
806 assert(port->ip_receiver_name == MACH_PORT_NULL);
807 assert(port->ip_destination == IP_NULL);
819 assert(ip_active(port));
820 assert(port->ip_receiver_name == MACH_PORT_NULL);
821 assert(port->ip_destination != IP_NULL);
830 assert(!ip_active(base) ||
858 assert(space->is_active);
867 assert(port != IP_NULL);
870 assert(ip_active(port));
871 assert(port->ip_receiver_name == name);
872 assert(port->ip_receiver == space);
893 assert(ip_active(port));
950 assert(port->ip_srights > 0);
1013 assert(IP_VALID(port));
1023 assert(port->ip_srights > 0);
1048 assert(IP_VALID(port));
1051 assert(ip_active(port));
1077 assert(IP_VALID(port));
1081 assert(port->ip_sorights > 0);
1110 assert(IP_VALID(port));
1113 assert(ip_active(port));
1114 assert(port->ip_receiver_name == MACH_PORT_NULL);
1180 assert(ip_active(port));
1181 // assert(port->ip_receiver_name != MACH_PORT_NULL);
1182 assert(port->ip_receiver == space);
1265 assert(port_count < port_count_warning);
1289 assert(port_count > 0);