Constant efi_ffi::pxebc::EFI_PXE_BASE_CODE_BOOT_TYPE_REDHAT_BOOT

pub const EFI_PXE_BASE_CODE_BOOT_TYPE_REDHAT_BOOT: UINT16 = 14;