Searched refs:min_paddr (Results 1 – 1 of 1) sorted by relevance
274 u64 min_paddr = UINT64_MAX; in efi_allocate_kernel_memory() local288 min_paddr = min(min_paddr, (u64)phdr->p_paddr); in efi_allocate_kernel_memory()294 if (min_paddr & (KERNEL_MEM_ALIGN - 1)) { in efi_allocate_kernel_memory()296 KERNEL_MEM_ALIGN, min_paddr); in efi_allocate_kernel_memory()299 u64 mem_size = ALIGN_UP(max_paddr - min_paddr, KERNEL_MEM_ALIGN); in efi_allocate_kernel_memory()312 *ret_min_paddr = min_paddr; in efi_allocate_kernel_memory()335 u64 min_paddr = 0; in load_program() local340 &min_paddr, &max_paddr, &min_vaddr); in load_program()387 memcpy((void *)(allocated_paddr + (paddr - min_paddr)), in load_program()397 *ret_min_paddr = min_paddr; in load_program()