Searched refs:mps_seqno (Results 1 – 4 of 4) sorted by relevance
316 mach_port_seqno_t mps_seqno; /* sequence number */ member
1416 statusp->mps_seqno = port->ip_seqno; in mach_port_get_attributes()1423 statusp->mps_seqno = port->ip_seqno; in mach_port_get_attributes()
4682 status.mps_seqno, str); in dispatch_debug_machport()
7477 + mps->mps_seqno = 0; /* XXX */8243 + mach_port_seqno_t mps_seqno;