unsigned long ctl_gfx_bgr_888(unsigned long u);
ctl_gfx_bgr_888 converts a 24-bit RGB device-independent pixel to BGR888 format. In this format, the bits are arranged BBBBBBBB|GGGGGGGG|RRRRRRRR.