[][src]Constant uefi_ffi::EFI_KEY_EfiKeyF4

pub const EFI_KEY_EfiKeyF4: EFI_KEY = 93;