Searched refs:seg_vstart (Results 1 – 1 of 1) sorted by relevance
159 vm_vaddr_t seg_vstart = align_down(phdr.p_vaddr, vm->page_size); in kvm_vm_elf_load() local162 size_t seg_size = seg_vend - seg_vstart + 1; in kvm_vm_elf_load()164 vm_vaddr_t vaddr = vm_vaddr_alloc(vm, seg_size, seg_vstart); in kvm_vm_elf_load()165 TEST_ASSERT(vaddr == seg_vstart, "Unable to allocate " in kvm_vm_elf_load()170 n1, seg_vstart, vaddr); in kvm_vm_elf_load()