hw_colorvalue      92 drivers/video/fbdev/maxinefb.c 	unsigned long hw_colorvalue = 0;
hw_colorvalue     101 drivers/video/fbdev/maxinefb.c 	hw_colorvalue = (blue << 16) + (green << 8) + (red);
hw_colorvalue     104 drivers/video/fbdev/maxinefb.c 				       hw_colorvalue);