Searched refs:min_vaddr (Results 1 – 1 of 1) sorted by relevance
276 u64 min_vaddr = UINT64_MAX; in efi_allocate_kernel_memory() local289 min_vaddr = min(min_vaddr, (u64)phdr->p_vaddr); in efi_allocate_kernel_memory()314 *ret_min_vaddr = min_vaddr; in efi_allocate_kernel_memory()337 u64 min_vaddr = 0; in load_program() local340 &min_paddr, &max_paddr, &min_vaddr); in load_program()398 *ret_min_vaddr = min_vaddr; in load_program()