Searched refs:efi_physical_addr_t (Results 1 – 3 of 3) sorted by relevance
60 (efi_physical_addr_t *)reserve_addr); in handle_kernel_image()
556 efi_physical_addr_t efi_addr = preferred_addr; in efi_relocate_kernel()
43 typedef u64 efi_physical_addr_t; typedef266 efi_physical_addr_t *);267 efi_status_t (*free_pages)(efi_physical_addr_t, unsigned long);