Searched refs:phcnt (Results 1 – 1 of 1) sorted by relevance
436 uint* phcnt) { in user_msg_read_locked() argument457 *phcnt = hcnt; in user_msg_read_locked()499 uint* phcnt) { in msg_put_read_locked() argument503 DEBUG_ASSERT(phcnt); in msg_put_read_locked()518 *phcnt = item->num_handles; in msg_put_read_locked()