Constant FILE_DEVICE_INFINIBAND 

pub const FILE_DEVICE_INFINIBAND: u32 = 59u32;