avb_times        1124 core/gui_osd.c             extern unsigned char avb_times[32];
avb_times        1128 core/gui_osd.c                 avbtsum += avb_times[n];
avb_times          64 core/shooting.c     unsigned char avb_times[32];
avb_times          90 core/shooting.c         avb_times[avb_hp] = avb_ts - avb_pts;