- while (port->ip_pset_count > 0) {
- ipc_mqueue_remove_one(&port->ip_messages,
- (ipc_mqueue_t)&pset_mqueue);
- assert(pset_mqueue != (ipc_pset_mqueue_t)0);
- port->ip_pset_count--;
-
- pset = pset_mqueue->ipsm_pset;
- ipc_pset_release(pset); /* locks and unlocks pset */
-
- }
-
- assert(port->ip_pset_count == 0);