solocked2
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so1, so2));
KASSERT(head == NULL || solocked2(so, head));
KASSERT(solocked2(head, so));
KASSERT(solocked2(head, so));
KASSERT(solocked2(so, head));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so2, so2->so_head));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so, unp2->unp_socket));
KASSERT(solocked2(so, unp2->unp_socket));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so, so2));
KASSERT(solocked2(so, unp->unp_refs->unp_socket));
KASSERT(so->so_head == NULL || solocked2(so, so->so_head));
KASSERT(so->so_head == NULL || solocked2(so2, so->so_head));
KASSERT(solocked2(so, so2));
bool solocked2(const struct socket *, const struct socket *);