Lines Matching defs:ret
150 int ret;
156 ret = vka_cspace_alloc_path(vm->vka, &dup_slot);
157 if (ret) {
159 return ret;
224 int ret;
231 ret = read_elf_headers(elf_file, vm, file, sizeof(elf_file), &kernel_elf);
232 if (ret < 0) {
292 ret = load_guest_segment(vm, source_offset, dest_addr, segment_size, file_size, file);
293 if (ret) {
294 return ret;