Searched refs:ret_max_paddr (Results 1 – 1 of 1) sorted by relevance
267 u64 *ret_max_paddr, u64 *ret_min_vaddr) in efi_allocate_kernel_memory() argument313 *ret_max_paddr = max_paddr; in efi_allocate_kernel_memory()