unsigned long ctl_gfx_rgb_888(unsigned long u);
ctl_gfx_rgb_888 converts a 24-bit RGB device-independent pixel to RGB888 format. In this format, the bits are arranged RRRRRRRR|GGGGGGGG|BBBBBBBB and the correspondence is one-to-one.