13 void blank_framebuffer(char* frame_buffer, int x1, int y1, int x2, int y2);
15 void draw_primary_colors (char* frame_buffer, int x1, int y1, int x2, int y2);
18 void linecount (char* frame_buffer);
49 void blank_framebuffer(char* frame_buffer, int x1, int y1, int x2, int y2)  in blank_framebuffer()  argument
52         for (i=0; i < maxx * maxy * bpp; i++) frame_buffer[i]=(char) 0;  in blank_framebuffer()
55 void draw_primary_colors (char* frame_buffer, int x1, int y1, int x2, int y2)  in draw_primary_colors()  argument
62                                 frame_buffer[current_pixel+0] = (char) 128;  in draw_primary_colors()
63                                 frame_buffer[current_pixel+1] = (char) 0;  in draw_primary_colors()
64                                 frame_buffer[current_pixel+2] = (char) 0;  in draw_primary_colors()
67                                 frame_buffer[current_pixel+0] = (char) 0;  in draw_primary_colors()
68                                 frame_buffer[current_pixel+1] = (char) 128;  in draw_primary_colors()
69                                 frame_buffer[current_pixel+2] = (char) 0;  in draw_primary_colors()
72                                 frame_buffer[current_pixel+0] = (char) 0;  in draw_primary_colors()
73                                 frame_buffer[current_pixel+1] = (char) 0;  in draw_primary_colors()
74                                 frame_buffer[current_pixel+2] = (char) 128;  in draw_primary_colors()
123 void linecount (char* frame_buffer)  in linecount()  argument
130                                 frame_buffer[current_pixel+0] = (char) 0;  in linecount()
131                                 frame_buffer[current_pixel+1] = (char) 0;  in linecount()
132                                 frame_buffer[current_pixel+2] = (char) 128;  in linecount()
136                                 frame_buffer[current_pixel+0] = (char) 128;  in linecount()
137                                 frame_buffer[current_pixel+1] = (char) 0;  in linecount()
138                                 frame_buffer[current_pixel+2] = (char) 0;  in linecount()