Searched refs:EFI_DBG (Results 1 – 2 of 2) sorted by relevance
502 if (efi_enabled(EFI_DBG)) in efi_init()1022 set_bit(EFI_DBG, &efi.flags); in arch_parse_efi_cmdline()
945 #define EFI_DBG 8 /* Print additional debug info at runtime */ macro