/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ |
H A D | sem.h | 35 * @return 0 on success, an error code on failure. */ 54 * @return 0 on success, an error code on failure. */ 67 * @return 0 on success, an error code on failure. */ 79 * @return 0 on success, an error code on failure. */ 93 * @return 0 on success, an error code on failure. */ 100 int error = vka_alloc_endpoint(vka, &(sem->ep)); local 102 if (error != 0) { 103 return error; 112 * @return 0 on success, an error code on failure. */
|
/seL4-camkes-master/projects/seL4_libs/libsel4sync/src/ |
H A D | recursive_mutex.c | 93 int error = vka_alloc_notification(vka, &(mutex->notification)); local 95 if (error != 0) { 96 return error;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 313 goto error; 319 goto error; 334 goto error; 340 goto error; 348 goto error; 351 error: 366 int error = acknowledge_fn(ack_data); local 367 if (error) { 422 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); local 423 if (error) { [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | common.c | 79 * get serial device going so we can print out an error */ 96 int error; local 105 error = sel4platsupport_alloc_frame_at(vka, paddr, bits, &dest); 106 if (error != seL4_NoError) { 107 goto error; 112 error = 121 error: 122 if (error) 125 assert(!error); 135 int error; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 19 int error = 0; local 34 error = vspace_new_pages_at_vaddr(vspace, (void *) stack_bottom, n_pages, seL4_PageBits, reserve); 36 if (error) { 89 int error = vspace_share_mem_at_vaddr(from, to, start, num_pages, size_bits, result, res); local 90 if (error) { 137 UNUSED int error = vspace_new_pages_at_vaddr_with_config(vspace, config, res); local 140 if (error) {
|
/seL4-camkes-master/tools/rumprun/platform/sel4/librumpsel4_stdio/ |
H A D | sel4_stdio.c | 83 int error = 0; local 110 error = uiomove(buf, n, uio); 114 return error; 123 int error = 0; local 137 error = uiomove(buf, len, uio); 138 if (error) 144 return error;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 180 int error; local 182 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id); 183 ZF_LOGF_IF(error, "Failed to unregister IRQ"); 193 int error; local 205 error = helper_fdt_alloc_simple( 211 if (error) { 214 return error;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 166 int error; local 168 error = ps_irq_unregister(&sp804->ops.irq_ops, sp804->irq_id); 169 ZF_LOGF_IF(error, "Failed to unregister IRQ"); 179 int error; local 191 error = helper_fdt_alloc_simple( 197 if (error) { 199 return error;
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
H A D | io.c | 38 /* Calls the error handler if there was an error with a syscall */ 39 static int syscall_error_handler(int error, int syscall_label, ioport_region_t *region) argument 41 ERR_IF(error != 0, region->error_handler, ((camkes_error_t) { 47 .error = error, 59 int ret = syscall_error_handler(reply.error, X86IOPortIn8, region); 73 int ret = syscall_error_handler(reply.error, X86IOPortIn16, region); 87 int ret = syscall_error_handler(reply.error, X86IOPortIn32, region);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/bin/ |
H A D | json_process.c | 167 json_error_t error; local 217 json = json_loads(strip(buffer), 0, &error); 221 json = json_loadf(infile, 0, &error); 227 error.line, error.column, error.position, 228 error.text); 230 ret = cmpfile(errstr, test_path, "error"); 263 json_error_t error; local 330 json = json_loads(strip(buffer), 0, &error); [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | split.c | 50 int error; local 52 node = (struct utspace_split_node *) allocman_mspace_alloc(alloc, sizeof(*node), &error); 53 if (error) { 57 error = allocman_cspace_alloc(alloc, &node->ut); 58 if (error) { 75 int error; local 77 node = (struct utspace_split_node *) allocman_mspace_alloc(alloc, sizeof(*node), &error); 78 if (error) { 104 int error; local 121 error 244 _utspace_split_alloc(allocman_t *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 106 int error = vka_alloc_frame(data->vka, seL4_PageBits, &frame); local 107 if (error) { 108 LOG_ERROR("Failed to allocate bootstrap frame, error: %d", error); 115 error = sel4utils_map_page(data->vka, data->vspace_root, frame.cptr, vaddr, 118 if (error) { 120 LOG_ERROR("Failed to map bootstrap frame at %p, error: %d", vaddr, error); 198 int error; local 200 error 423 int error = vka_cspace_alloc(get_alloc_data(current)->vka, &slot); local [all...] |
/seL4-camkes-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 178 int error = cpio_parse_header(header, len, &header_info); local 179 if (error) { 210 int error = cpio_parse_header(header, len, &header_info); local 211 if (error) { 238 int error = cpio_parse_header(header, len, &header_info); local 239 if (error == -1) { 240 return error; 241 } else if (error == 1) { 265 int error = cpio_parse_header(header, len, &header_info); local 266 // Break on an error o [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 72 int error = ps_irq_unregister(&tmr->ops.irq_ops, tmr->irq_id); local 73 ZF_LOGF_IF(error, "Failed to unregister an IRQ"); 171 int error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, device_path, &cookie); local 172 if (error) { 178 error = ps_fdt_walk_registers(&ops.io_fdt, cookie, allocate_register_callback, tmr); 179 if (error) { 185 error = ps_fdt_walk_irqs(&ops.io_fdt, cookie, allocate_irq_callback, tmr); 186 if (error) { 191 error = ps_fdt_cleanup_cookie(&ops.malloc_ops, cookie); 192 if (error) { [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 103 int error; local 105 error = vka_cspace_alloc_path(vcpu->vm->vka, &path); 106 if (error) { 108 return error; 110 error = simple_get_IOPort_cap(vcpu->vm->simple, port_start, port_end, path.root, path.capPtr, path.capDepth); 111 if (error) { 113 return error; 115 error = seL4_X86_VCPU_EnableIOPort(vcpu->vcpu.cptr, path.capPtr, port_start, port_end); 116 if (error != seL4_NoError) { 118 return error; [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 229 seL4_Error error; local 272 "frames. Possible cap transfer error.", 292 error = vka_cspace_alloc_path(get_serial_server()->server_vka, 294 if (error != 0) { 302 error = vka_cnode_move(&client_frame_cspath_tmp, 304 if (error != 0) { 324 error = seL4_NotEnoughMemory; 358 return error; 450 UNUSED seL4_Error error; local 455 error [all...] |
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | serial.c | 257 int UNUSED error; local 258 error = serial_lock(); 316 error = serial_unlock(); 441 int UNUSED error; local 442 error = serial_lock(); 465 error = serial_unlock(); 482 int error = serial_lock(); local 483 ZF_LOGF_IF(error, "Failed to lock serial server"); 487 error = acknowledge_fn(ack_data); 488 ZF_LOGF_IF(error, "Faile 501 int error; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 50 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res); local 51 if (error != 0) { 59 error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, RBR), 1, &res); 60 if (error != 0) { 71 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res); local 72 if (error != 0) {
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | error.h | 28 /* No error occurred. Used to indicate normal operation. */ 33 * of such an error *will* cause an out-of-bounds memory write. 58 * error was triggered. 69 /* Tagged union representing data about an error itself. */ 71 /* The type of the error. This tag determines which member of the union 76 /* The component instance in which this error occurred. This will probably 83 /* The interface in which this error occurred. If this error occurred in a 88 /* The source code position at which the error occurred. Useful if you are 119 /* The value that caused this error 142 int error; member in struct:__anon118::__anon119::__anon123 [all...] |
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 358 int error; local 361 error = seL4_ARCH_Page_Unmap(copy_addr_frame + i); 362 ZF_LOGF_IFERR(error, ""); 505 int error; local 517 error = seL4_CNode_Copy(seL4_CapInitThreadCNode, free_slot, CONFIG_WORD_SIZE, 519 ZF_LOGF_IFERR(error, ""); 537 error = seL4_Untyped_Retype(bootinfo->untyped.start + i, type, size_bits, 539 ZF_LOGF_IFERR(error, ""); 544 error = seL4_Untyped_Retype(free_slot, arch_kobject_get_type(KOBJECT_FRAME, seL4_PageBits), seL4_PageBits, 546 ZF_LOGF_IFERR(error, ""); 864 int error; local 926 int error = seL4_CNode_Mint(dest_root, dest_index, dest_depth, local 945 int error = seL4_CNode_Copy(dest_root, dest_index, dest_depth, local 989 int error = seL4_SchedControl_Configure(sched_control, local 1085 int error; local 1145 int error = seL4_ARM_VCPU_SetTCB(sel4_vcpu, sel4_tcb); local 1316 int error = seL4_TCB_WriteRegisters(sel4_tcb, false, 0, local 1378 int error = seL4_IRQHandler_SetNotification(irq_handler_cap, endpoint_cptr); local 1399 int error = seL4_ARCH_ASIDPool_Assign(seL4_CapInitThreadASIDPool, sel4_page); local 1441 int error = seL4_ARCH_PageTable_Map(sel4_page, sel4_pd, vaddr, vm_attribs); local 1476 int error = seL4_ARCH_Page_Map(sel4_page, sel4_pd, vaddr, rights, vm_attribs); local 1797 int error = seL4_CNode_Move(dest_root, dest_index, dest_depth, local 1802 int error = seL4_CNode_Mutate(dest_root, dest_index, dest_depth, local 1827 int error = seL4_CNode_Move(dest_root, dest_index, dest_depth, local 1832 int error = seL4_CNode_Mint(dest_root, dest_index, dest_depth, local 1885 int error = seL4_TCB_Resume(tcb); local 1972 int error = seL4_ARCH_Page_Map(cap, seL4_CapInitThreadPD, (seL4_Word)copy_addr, local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | single_level.c | 25 int error; local 34 cspace->bitmap = (size_t*)allocman_mspace_alloc(alloc, num_entries * sizeof(size_t), &error); 35 if (error) { 36 return error;
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | testutil.h | 68 * Report an error in a test case. 72 void _sel4test_report_error(const char *error, const char *file, int line);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/ |
H A D | serial.h | 35 #error Unknown platform
|
/seL4-camkes-master/tools/rumprun/ |
H A D | global.mk | 2 $(error RUMPRUN_MKCONF missing) 6 $(error invalid RUMPRUN_MKCONF)
|
/seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/ |
H A D | sys_mman.c | 128 int error = 0; local 177 error = dofileread(fd, fp, v, roundedlen, &pos, 0, &cnt); 178 if (error) { 180 return error; 194 MMAP_PRINTF(("<- mmap: %p %d\n", v, error)); 195 return error; 283 int error = plat_mprotect(addr, len, prot); local 284 if (error != 0) { 287 return error;
|