Constant IPMI_IOCTL_INDEX 

pub const IPMI_IOCTL_INDEX: u32 = 1024u32;