Constant efi_ffi::device_path::INFINIBAND_RESOURCE_FLAG_EXTENDED_BOOT_ENVIRONMENT

pub const INFINIBAND_RESOURCE_FLAG_EXTENDED_BOOT_ENVIRONMENT: UINTN = 0x02;