solocked
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(head));
KASSERT(solocked(so));
KASSERT(solocked(head));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(so->so_pcb == NULL || solocked(so));
KASSERT(so->so_pcb == NULL || solocked(so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so2));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
#define inp_locked(inp) solocked((inp)->inp_socket)
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked((sb)->sb_so)); \
bool solocked(const struct socket *);
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(sb->sb_so));
KASSERT(solocked(so));
KASSERT(solocked(so));