/* When valid symbol is not registered, exit to error */ if (good_head.left == good_head.right && bad_head.left == bad_head.right) { fprintf(stderr, "No valid symbol.\n"); exit(1); }  
static void optimize_token_table(void){	memset(hash_table, 0, sizeof(hash_table));	good_head.left = &good_head;	good_head.right = &good_head;	bad_head.left = &bad_head;	bad_head.right = &bad_head;	build_initial_tok_table();	insert_real_symbols_in_table();	optimize_result();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/41f11a4fa378201e902892130b11d78cf7cf8e10/kallsyms.c/clean/scripts/kallsyms.c