Searched refs:seg_vstart (Results 1 – 1 of 1) sorted by relevance
160 vm_vaddr_t seg_vstart = align_down(phdr.p_vaddr, vm->page_size); in kvm_vm_elf_load() local163 size_t seg_size = seg_vend - seg_vstart + 1; in kvm_vm_elf_load()165 vm_vaddr_t vaddr = __vm_vaddr_alloc(vm, seg_size, seg_vstart, in kvm_vm_elf_load()167 TEST_ASSERT(vaddr == seg_vstart, "Unable to allocate " in kvm_vm_elf_load()172 n1, seg_vstart, vaddr); in kvm_vm_elf_load()