[][src]Constant uefi_ffi::EFI_KEY_EfiKeyF3

pub const EFI_KEY_EfiKeyF3: EFI_KEY = 92;