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