/* Description: Remove an existing interface record from the network interface table.  */
static void sel_netif_destroy(struct sel_netif *netif)
/* Description: Remove an existing interface record from the network interface table.  */
static void sel_netif_destroy(struct sel_netif *netif)
{
	list_del_rcu(&netif->list);
	sel_netif_total--;
	call_rcu(&netif->rcu_head, sel_netif_free);
}