EFI_CONFIG_TABLES  204 drivers/acpi/osl.c 	if (efi_enabled(EFI_CONFIG_TABLES)) {
EFI_CONFIG_TABLES  620 drivers/firmware/dmi_scan.c 	if (efi_enabled(EFI_CONFIG_TABLES)) {
EFI_CONFIG_TABLES  539 drivers/firmware/efi/efi.c 	set_bit(EFI_CONFIG_TABLES, &efi.flags);
EFI_CONFIG_TABLES  216 drivers/firmware/efi/esrt.c 	if (!efi_enabled(EFI_CONFIG_TABLES))
EFI_CONFIG_TABLES 1685 drivers/irqchip/irq-gic-v3-its.c 	if (efi_enabled(EFI_CONFIG_TABLES))