taglinefilesource code
vc_halfcolor79kernel/chr_drv/console.cunsigned char  vc_halfcolor;    /* Colour for half intensity mode */
vc_halfcolor171kernel/chr_drv/console.c#define  halfcolor  (vc_cons[currcons].vc_halfcolor)