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