taglinefilesource code
vc_halfcolor17drivers/char/console_struct.hunsigned char  vc_halfcolor;    /* Colour for half intensity mode */
vc_halfcolor134drivers/char/console_struct.h#define  halfcolor  (vc_cons[currcons].d->vc_halfcolor)