Searched refs:efi_physical_addr_t (Results 1 – 5 of 5) sorted by relevance
284 efi_physical_addr_t map_start = map->physical_start; in efi_set_virtual_address_map()285 efi_physical_addr_t map_len = map->num_pages << EFI_PAGE_SHIFT; in efi_set_virtual_address_map()286 efi_physical_addr_t map_end = map_start + map_len; in efi_set_virtual_address_map()
358 efi_physical_addr_t t; in efi_allocate_pool()
85 typedef u64 efi_physical_addr_t; typedef188 efi_physical_addr_t physical_start;
54 efi_physical_addr_t *);55 efi_status_t (EFIAPI *free_pages)(efi_physical_addr_t, unsigned long);534 efi_physical_addr_t fb_base;
37 efi_physical_addr_t addr; in setup_memory()