[−][src]Constant uefi_ffi::EFI_KEY_EfiKeyE12

pub const EFI_KEY_EfiKeyE12: EFI_KEY = 80;