Searched refs:EFI_BOOT (Results 1 – 8 of 8) sorted by relevance
11 #define EFI_BOOT 0 /* Were we booted from EFI? */ macro
67 if (efi_enabled(EFI_BOOT)) { in acpi_os_get_root_pointer()
202 if ( !efi_enabled(EFI_BOOT) ) in efi_get_info()348 if ( !efi_enabled(EFI_BOOT) ) in efi_runtime_call()
1078 __set_bit(EFI_BOOT, &efi_flags); in efi_start()1405 if ( !efi_enabled(EFI_BOOT) ) in efi_init_memory()
240 if (efi_enabled(EFI_BOOT)) { in dmi_get_table()698 if ((!efi_enabled(EFI_BOOT) ? dmi_iterate(dmi_decode) : in dmi_scan_machine()
566 if (efi_enabled(EFI_BOOT)) in efi_unmap_mpf()724 if (efi_enabled(EFI_BOOT)) { in find_smp_config()
504 if ( efi_enabled(EFI_BOOT) ) in parse_video_info()829 else if ( efi_enabled(EFI_BOOT) ) in __start_xen()
682 __set_bit(EFI_BOOT, &efi_flags); in efi_multiboot2()
Completed in 16 milliseconds