ipv6cp_down
static void ipv6cp_down __P((fsm *)); /* We're DOWN */
ipv6cp_down, /* Called when fsm leaves OPENED state */