remove_dhcp6leased_iface
void remove_dhcp6leased_iface(uint32_t);
remove_dhcp6leased_iface(if_index);