pub type cec_display_control = u32;