static void check_tnode(struct tnode *tn) 
static inline void check_tnode(const struct tnode *tn) 
static void check_tnode(struct tnode *tn){	if (tn && tn->pos+tn->bits > 32) {		printk("TNODE ERROR tn=%p, pos=%d, bits=%d\n", tn, tn->pos, tn->bits);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0c7770c740156c8802c23d24fc094d06967d997d/fib_trie.c/buggy/net/ipv4/fib_trie.c