Constant CCODE::FILE_DEVICE_INFINIBAND

pub const FILE_DEVICE_INFINIBAND: u32 = 59;