Type Definition uefi_ffi::EFI_KEY

type EFI_KEY = u32;