Constant IPMI_OS_SEL_RECORD_MASK 

pub const IPMI_OS_SEL_RECORD_MASK: u32 = 65535u32;