[][src]Constant uefi_ffi::EFI_KEY_EfiKeyF11

pub const EFI_KEY_EfiKeyF11: EFI_KEY = 100;