INP_BOUND
inpcb_set_state(inp, INP_BOUND);
case INP_BOUND:
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND); /* XXX */
inpcb_set_state(inp, INP_BOUND); /* XXX */
case INP_BOUND:
inpcb_set_state(inp, INP_BOUND);
inpcb_set_state(inp, INP_BOUND);
in6pcb_set_state(inp, INP_BOUND);
in6pcb_set_state(inp, INP_BOUND); /* XXX */