84     const char *uefi_fl1;  member
802     if (data->uefi_fl1 && data->uefi_fl2) { /* use UEFI */  in test_acpi_load_tables()
822     if (data->uefi_fl1 && data->uefi_fl2) { /* use UEFI */  in test_acpi_create_args()
834                 data->uefi_fl1, data->uefi_fl2, data->cd, params ? params : "");  in test_acpi_create_args()
842                 data->uefi_fl1, data->uefi_fl2, params ? params : "");  in test_acpi_create_args()
871     if (!(data->uefi_fl1 && data->uefi_fl2)) {  in process_smbios_tables_noexit()
1620         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg_memhp()
1715         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg_numamem()
1738         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg_pxb()
1813         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg_acpi_hmat()
1972         .uefi_fl1 = "pc-bios/edk2-riscv-code.fd",  in test_acpi_riscv64_virt_tcg()
1994         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg()
2015         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_tcg_topology()
2100         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_viot()
2284         .uefi_fl1 = "pc-bios/edk2-aarch64-code.fd",  in test_acpi_aarch64_virt_oem_fields()