osfmk/console/video_console.c

152 static unsigned char *gc_buffer_colorcodes;
357 		memset(gc_buffer_colorcodes + start, gc_color_code, end - start + 1);
391 		buffer_colorcodes = gc_buffer_colorcodes;
399 		gc_buffer_colorcodes = NULL;
463 		gc_buffer_colorcodes = buffer_colorcodes;
491 		unsigned char colorcode = gc_buffer_colorcodes[index];
534 		gc_buffer_colorcodes[index] = gc_color_code;
1052 				     gc_buffer_colorcodes[index] != gc_buffer_colorcodes[index - jump] )
1054 					if ( gc_color_code != gc_buffer_colorcodes[index - jump] )
1056 						gc_update_color(COLOR_CODE_GET(gc_buffer_colorcodes[index - jump], TRUE ), TRUE );
1057 						gc_update_color(COLOR_CODE_GET(gc_buffer_colorcodes[index - jump], FALSE), FALSE);
1060 					if ( gc_buffer_colorcodes[index] != gc_buffer_colorcodes[index - jump] )
1081 					gc_buffer_colorcodes[index] = gc_buffer_colorcodes[index - jump];
1102 				     gc_buffer_colorcodes[index] != gc_color_code )
1104 					if ( gc_buffer_colorcodes[index] != gc_color_code )
1125 					gc_buffer_colorcodes[index] = gc_color_code;
1165 				     gc_buffer_colorcodes[index] != gc_buffer_colorcodes[index + jump] )
1167 					if ( gc_color_code != gc_buffer_colorcodes[index + jump] )
1169 						gc_update_color(COLOR_CODE_GET(gc_buffer_colorcodes[index + jump], TRUE ), TRUE );
1170 						gc_update_color(COLOR_CODE_GET(gc_buffer_colorcodes[index + jump], FALSE), FALSE);
1173 					if ( gc_buffer_colorcodes[index] != gc_buffer_colorcodes[index + jump] )
1194 					gc_buffer_colorcodes[index] = gc_buffer_colorcodes[index + jump];
1215 				     gc_buffer_colorcodes[index] != gc_color_code )
1217 					if ( gc_buffer_colorcodes[index] != gc_color_code )
1238 					gc_buffer_colorcodes[index] = gc_color_code;
1260 		unsigned char colorcode = gc_buffer_colorcodes[index];