osfmk/console/video_console.c

492 		unsigned char colorcodesave = gc_color_code;
499 		gc_update_color(COLOR_CODE_GET(colorcodesave, TRUE ), TRUE );
500 		gc_update_color(COLOR_CODE_GET(colorcodesave, FALSE), FALSE);
1038 		unsigned char colorcodesave = gc_color_code;
1086 		if ( colorcodesave != gc_color_code )
1088 			gc_update_color(COLOR_CODE_GET(colorcodesave, TRUE ), TRUE );
1089 			gc_update_color(COLOR_CODE_GET(colorcodesave, FALSE), FALSE);
1151 		unsigned char colorcodesave = gc_color_code;
1199 		if ( colorcodesave != gc_color_code )
1201 			gc_update_color(COLOR_CODE_GET(colorcodesave, TRUE ), TRUE );
1202 			gc_update_color(COLOR_CODE_GET(colorcodesave, FALSE), FALSE);
1261 		unsigned char colorcodesave = gc_color_code;
1268 		gc_update_color(COLOR_CODE_GET(colorcodesave, TRUE ), TRUE );
1269 		gc_update_color(COLOR_CODE_GET(colorcodesave, FALSE), FALSE);