efi_physical_addr_t 262 include/linux/efi.h efi_physical_addr_t *); efi_physical_addr_t 263 include/linux/efi.h efi_status_t (*free_pages)(efi_physical_addr_t, unsigned long);