Home
last modified time | relevance | path

Searched full:efi_dbg (Results 1 – 6 of 6) sorted by relevance

/linux/drivers/firmware/efi/
H A Dfdtparams.c78 if (efi_enabled(EFI_DBG)) in efi_get_fdt_prop()
111 if (efi_enabled(EFI_DBG)) in efi_get_fdt_params()
H A Defi-init.c164 if (efi_enabled(EFI_DBG)) in reserve_regions()
199 if (efi_enabled(EFI_DBG)) { in reserve_regions()
/linux/arch/arm/kernel/
H A Defi.c108 if (dump_state || efi_enabled(EFI_DBG)) { in load_cpu_state_table()
/linux/arch/x86/platform/efi/
H A Defi.c503 if (efi_enabled(EFI_DBG)) in efi_init()
817 if (efi_enabled(EFI_DBG)) { in __efi_enter_virtual_mode()
H A Dquirks.c424 if (efi_enabled(EFI_DBG)) in efi_unmap_boot_services()
/linux/include/linux/
H A Defi.h846 #define EFI_DBG 8 /* Print additional debug info at runtime */ macro