Searched refs:error (Results 151 - 175 of 448) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dsem.h35 * @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 Drecursive_mutex.c93 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 Dtx2.c313 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 **)&eth_driver); local
423 if (error) {
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c79 * 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 Dvspace.c19 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 Dsel4_stdio.c83 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 Dtimer.c180 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 Dsp804.c166 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 Dio.c38 /* 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 Djson_process.c167 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 Dsplit.c50 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 Dbootstrap.c106 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 Dcpio.c178 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 Dtimer.c72 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 Dioports.c103 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 Dserver.c229 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 Dserial.c257 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 Dserial.c50 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 Derror.h28 /* 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 Dmain.c358 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 Dsingle_level.c25 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 Dtestutil.h68 * 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 Dserial.h35 #error Unknown platform
/seL4-camkes-master/tools/rumprun/
H A Dglobal.mk2 $(error RUMPRUN_MKCONF missing)
6 $(error invalid RUMPRUN_MKCONF)
/seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/
H A Dsys_mman.c128 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;

Completed in 239 milliseconds

1234567891011>>