tag	line	file	source code
SK_HEAD_SKB	78	net/inet/dev.c	,SK_HEAD_SKB
SK_HEAD_SKB	73	net/inet/skbuff.c	if (skb->magic_debug_cookie != SK_HEAD_SKB) {
SK_HEAD_SKB	82	net/inet/skbuff.c	if (skb->next->magic_debug_cookie != SK_HEAD_SKB
SK_HEAD_SKB	88	net/inet/skbuff.c	if (skb->prev->magic_debug_cookie != SK_HEAD_SKB
SK_HEAD_SKB	110	net/inet/skbuff.c	if (skb->next != NULL && skb->next->magic_debug_cookie != SK_HEAD_SKB
SK_HEAD_SKB	116	net/inet/skbuff.c	if (skb->prev != NULL && skb->prev->magic_debug_cookie != SK_HEAD_SKB
SK_HEAD_SKB	157	net/inet/skbuff.c	list->magic_debug_cookie = SK_HEAD_SKB;