Searched refs:BEI_64BIT (Results 1 – 3 of 3) sorted by relevance
100 if ((bios_efiinfo->flags & BEI_64BIT) == 0) in efi_attach()
212 #define BEI_64BIT 0x00000001 /* 64-bit EFI implementation */ macro
964 ei->flags |= BEI_64BIT; in efi_makebootargs()