Lines Matching refs:assert
111 assert(object->io_references > 0);
127 assert(object->io_references > 0);
168 assert(object != IO_NULL);
222 assert(object != IO_NULL);
227 assert(object != IO_NULL);
263 assert(entry->ie_object == IO_NULL);
301 assert(entry->ie_object == IO_NULL);
335 assert(otype < IOT_NUMBER);
336 assert((type & MACH_PORT_TYPE_ALL_RIGHTS) == type);
337 assert(type != MACH_PORT_TYPE_NONE);
338 assert(urefs <= MACH_PORT_UREFS_MAX);
406 assert(otype < IOT_NUMBER);
407 assert((type & MACH_PORT_TYPE_ALL_RIGHTS) == type);
408 assert(type != MACH_PORT_TYPE_NONE);
409 assert(urefs <= MACH_PORT_UREFS_MAX);
567 assert(IO_VALID(object));
574 assert(ip_active(port));
576 assert(port->ip_receiver == ipc_space_kernel);
593 assert(port->ip_srights > 0);
605 assert(ip_active(port));
606 assert(port->ip_receiver_name != MACH_PORT_NULL);
607 assert(port->ip_receiver == ipc_space_kernel);
618 assert(((ipc_port_t)object)->ip_srights);
626 assert(ip_active(port));
627 assert(port->ip_receiver_name != MACH_PORT_NULL);
637 assert(((ipc_port_t)object)->ip_sorights);
662 assert(IO_VALID(object));
663 assert(io_otype(object) == IOT_PORT);
712 assert(IO_VALID(object));
713 assert(io_otype(object) == IOT_PORT);
727 assert(entry->ie_bits & MACH_PORT_TYPE_SEND_RECEIVE);
743 assert(IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE);
744 assert(entry->ie_object == IO_NULL);
802 assert(IO_VALID(object));
803 assert(io_otype(object) == IOT_PORT);
824 assert(entry == oentry);
825 assert(entry->ie_bits & MACH_PORT_TYPE_SEND_RECEIVE);
830 assert(IE_BITS_TYPE(entry->ie_bits) == MACH_PORT_TYPE_NONE);
831 assert(entry->ie_object == IO_NULL);
875 assert(IO_VALID(object));
876 assert(io_active(object));
898 assert(port->ip_srights > 0);
914 assert(port->ip_sorights > 0);
1014 assert(io_otype(objp) == IOT_PORT);