debugnet_ip_output
return (debugnet_ip_output(pcb, m));
int debugnet_ip_output(struct debugnet_pcb *, struct mbuf *);