in_pcbrele_rlocked
in_pcbrele_rlocked(inp) : in_pcbrele_wlocked(inp));
if (in_pcbrele_rlocked(inp))
bool in_pcbrele_rlocked(struct inpcb *);
if (in_pcbrele_rlocked(inp)) {
if (in_pcbrele_rlocked(inp))