Searched refs:efi_physical_addr_t (Results 1 – 2 of 2) sorted by relevance
43 typedef u64 efi_physical_addr_t; typedef262 efi_physical_addr_t *);263 efi_status_t (*free_pages)(efi_physical_addr_t, unsigned long);
556 efi_physical_addr_t efi_addr = preferred_addr; in efi_relocate_kernel()