Constant IPMI_OS_SEL_RECORD_MASK

pub const IPMI_OS_SEL_RECORD_MASK: u32 = 65535u32;