make_pixel_list 2459 core/gui.c process_file( "A/CHDK/badpixel", make_pixel_list, 1 ); make_pixel_list 2460 core/gui.c process_file( "A/CHDK/badpixel.txt", make_pixel_list, 1 ); make_pixel_list 23 core/raw.h extern int make_pixel_list(char * ptr, int size);