arch/loongarch/kernel/efi.c

130

set_bit(EFI_CONFIG_TABLES, &efi.flags);

arch/x86/coco/sev/core.c

1275

if (efi_enabled(EFI_CONFIG_TABLES))

drivers/acpi/osl.c

209

if (efi_enabled(EFI_CONFIG_TABLES)) {

drivers/firmware/dmi_scan.c

678

if (efi_enabled(EFI_CONFIG_TABLES)) {

drivers/firmware/efi/efi.c

738

set_bit(EFI_CONFIG_TABLES, &efi.flags);

drivers/firmware/efi/esrt.c

212

if (!efi_enabled(EFI_CONFIG_TABLES))

drivers/irqchip/irq-gic-v3-its.c

2312

if (efi_enabled(EFI_CONFIG_TABLES))

drivers/irqchip/irq-gic-v3-its.c

5797

if (!efi_enabled(EFI_CONFIG_TABLES))