void Ipv6cpInput(Bund b, Mbuf bp) { FsmInput(&b->ipv6cp.fsm, bp); }
void CcpInput(Bund b, Mbuf bp) { FsmInput(&b->ccp.fsm, bp); }