Searched refs:EFI_BOOT_SERVICES_DATA (Results 1 – 3 of 3) sorted by relevance
77 if (efi_allocate_pages(1, EFI_BOOT_SERVICES_DATA, fdt_pages, in copy_fdt()81 if (efi_allocate_pages(1, EFI_BOOT_SERVICES_DATA, fdt_pages, in copy_fdt()171 EFI_BOOT_SERVICES_DATA, true); in do_bootefi_exec()
53 type == EFI_BOOT_SERVICES_DATA; in is_boot_services()
127 EFI_BOOT_SERVICES_DATA, enumerator