unsigned long ctl_gfx_bgr_444(unsigned long u);
ctl_gfx_bgr_444 converts a 24-bit RGB device-independent pixel to BGR444 format. In this format, the bits are arranged BBBB|GGGG|RRRR.