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);