rgb2hw8_high     1801 drivers/video/fbdev/amifb.c 		custom.color[0] = rgb2hw8_high(red, green, blue);
rgb2hw8_high     2485 drivers/video/fbdev/amifb.c 			custom.color[regno & 31] = rgb2hw8_high(red, green,