Searched refs:error (Results 76 - 100 of 448) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4IOAPICHardwareInterrupt.template.c13 /*- import 'helpers/error.c' as error with context -*/
16 #include <camkes/error.h>
39 /* Interface-specific error handling */
41 /*? error.make_error_handler(interface, error_handler) ?*/
114 int error; local
118 error = seL4_IRQHandler_Ack(/*? irq[0][0] ?*/);
119 ERR_IF(error != 0, /*? error_handler ?*/, ((camkes_error_t){
125 .error = error,
[all...]
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/
H A Ddynamic-untyped-allocators.template.c41 int error; local
58 error = allocman_add_simple_untypeds(allocman, &camkes_simple);
62 error = sel4utils_bootstrap_vspace(&vspace, &vspace_data,
64 assert(!error);
68 error = (*init_fun)(io_ops, &vka, &camkes_simple, &vspace);
69 if (error) {
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dmsgqueue.c51 int error = camkes_virtqueue_driver_init_common(&sender->sender_channel, msgqueue_channel->buffer, local
55 if (error) {
56 return error;
82 int error = camkes_virtqueue_device_init_common(&receiver->receiver_channel, local
84 if (error) {
85 return error;
103 int error = 0; local
107 error = camkes_virtqueue_driver_gather_buffer(&sender->sender_channel, &handle,
109 ZF_LOGF_IF(error, "Failed to get a 'used' buffer even though there exists one");
114 error
147 int error = camkes_virtqueue_driver_send_buffer(&sender->sender_channel, msgqueue_buf, message_size); local
213 int error = camkes_virtqueue_device_gather_buffer(&receiver->receiver_channel, &handle, &message, &message_len, &flags); local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpwm.c293 int error; local
297 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t0_irq);
298 ZF_LOGE_IF(error, "Unable to un-register timer irq0")
301 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t4_irq);
302 ZF_LOGE_IF(error, "Unable to un-register timer irq4")
307 error = pwm_stop(pwm);
308 ZF_LOGE_IF(error, "Unable to stop timer pwm")
316 int error; local
333 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &fdt_cookie);
334 if (error) {
375 int error; local
[all...]
H A Dltimer.c96 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pwm_ltimer_t), &ltimer->data); local
97 if (error) {
99 return error;
108 int error; local
110 error = create_ltimer(ltimer, ops);
111 if (error) {
113 return error;
119 error = pwm_init(&pwm_ltimer->pwm, ops, PWM_TIMER_PATH, callback, callback_token);
120 if (error) {
122 return error;
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4keyboard/src/arch-x86/
H A Dkeyboard.c80 int error; local
96 error = ps2_read_output();
97 assert(error == 0x55);
100 error = ps2_read_output();
101 assert(error == 0x00);
111 error = ps2_read_output();
112 assert(error == 0xfa);
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); local
39 while (error == seL4_DeleteFirst) {
41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
44 if (error != seL4_NoError) {
45 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
46 return error;
49 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits);
50 if (error != seL4_NoError) {
51 return error;
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c173 int error = vka_cspace_alloc(&env.vka, &env.caps[pci_data[cookie].intrs]); local
174 ZF_LOGF_IF(error != 0, "Failed to allocate cslot, error %d", error);
181 error = seL4_IRQControl_GetMSI(simple_get_irq_ctrl(&env.simple), path.root, path.capPtr, path.capDepth,
184 if (error != 0) {
195 error = custom_irq_from_pci_device(&env.custom_simple, pci_data[cookie].bus, pci_data[cookie].dev,
197 ZF_LOGF_IF(error == -1, "Failed to find IRQ number\n");
198 error = seL4_IRQControl_GetIOAPIC(simple_get_irq_ctrl(&env.simple), path.root, path.capPtr,
200 if (error !
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c125 // no choice but to panic as there is no meaningful error we can return here
131 int error; local
133 error = hpet_set_timeout(&pc99_ltimer->hpet.device,
136 } while (error == ETIME && retries > 0);
137 if (error == ETIME) {
140 if (error != 0) {
141 ZF_LOGF("Unexpected error when reprogramming periodic timeout. Unable to continue.");
153 int UNUSED error = acknowledge_fn(ack_data); local
154 assert(!error);
156 error
237 int error = pit_set_timeout(&pc99_ltimer->pit.device, ns, type == TIMEOUT_PERIODIC); local
313 int error = ltimer_init_common(ltimer, ops, callback, callback_token); local
366 int error = ltimer_default_describe(ltimer, ops); local
383 int error = ltimer_hpet_describe(ltimer, ops, irq, region); local
394 int error = ltimer_pit_describe(ltimer, ops); local
417 int error = ltimer_pit_init_freq(ltimer, ops, 0, callback, callback_token); local
442 int error = (acpi != NULL) ? hpet_parse_acpi(acpi, &hpet_region): 1; local
503 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pc99_ltimer_t), &ltimer->data); local
528 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pc99_ltimer_t), &ltimer->data); local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c73 int error = sel4platsupport_irq_handle(irq_ops, target_ntfn, badge); local
74 if (error) {
75 if (error == -EINVAL) {
87 int error; local
92 /* The ID also serves as an error code */
96 error = sel4platsupport_irq_set_ntfn(&(irq_server->irq_ops), ntfn_id, irq_id, NULL);
97 if (error) {
100 return error;
157 int error; local
175 error
341 int error; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Delf.c43 int error = seL4_NoError; local
56 error = vka_cspace_alloc(loader_vka, &loader_slot);
57 if (error) {
58 ZF_LOGE("Failed to allocate cslot by loader vka: %d", error);
59 return error;
65 while (pos < segment_size && error == seL4_NoError) {
94 error = vspace_new_pages_at_vaddr(loadee_vspace, loadee_vaddr, 1, seL4_PageBits, reservation);
97 if (error != seL4_NoError) {
98 ZF_LOGE("ERROR: failed to allocate frame by loadee vka: %d", error);
107 error
183 int error = load_segment(loadee_vspace, loader_vspace, loadee_vka, loader_vka, local
318 int error = cap_writes_check_move_frame(prev_rights, current_rights, &should_move); local
426 int error = read_regions(elf_file, num_regions, regions); local
467 int error = elf_reserve_regions_in_vspace(loadee, elf_file, num_regions, regions, 0); local
490 int error = elf_reserve_regions_in_vspace(loadee, elf_file, num_regions, regions, mapanywhere); local
[all...]
H A Dthread.c51 int error = vka_alloc_tcb(vka, &res->tcb); local
52 if (error == -1) {
94 error = api_sched_ctrl_configure(config.sched_params.sched_ctrl, res->sched_context.cptr,
98 if (error != seL4_NoError) {
108 error = api_tcb_configure(res->tcb.cptr, config.fault_endpoint,
115 if (error != seL4_NoError) {
116 ZF_LOGE("TCB configure failed with seL4 error code %d", error);
124 error = seL4_TCB_SetMCPriority(res->tcb.cptr, config.sched_params.auth,
126 if (error) {
182 int error = sel4utils_arch_init_local_context(entry_point, arg0, arg1, local
308 int error = sel4utils_configure_thread(vka, vspace, vspace, 0, cspace, local
325 int error = seL4_TCB_ReadRegisters(thread->tcb.cptr, suspend, 0, sizeof(seL4_UserContext) / sizeof(seL4_Word), local
369 int error = seL4_TCB_WriteRegisters(checkpoint->thread->tcb.cptr, resume, 0, local
[all...]
H A Dprocess.c117 int error = vka_cnode_mint(&dest, &src, rights, data); local
118 if (error != seL4_NoError) {
135 int error = vka_cnode_copy(&dest, &src, seL4_AllRights); local
136 if (error != seL4_NoError) {
161 int error = vka_cnode_move(&dest, &src); local
162 if (error != seL4_NoError) {
219 int error = sel4utils_stack_write(current_vspace, target_vspace, vka, argv[i], strlen(argv[i]) + 1, local
221 if (error) {
222 return error;
235 int error; local
277 int error; local
434 int error = seL4_ARCH_ASIDPool_Assign(get_asid_pool(asid_pool), pd); local
446 int error = vka_alloc_cnode_object(vka, size_bits, &process->cspace); local
491 int error = vka_alloc_endpoint(vka, &process->fault_endpoint); local
504 int error; local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject_capops.h30 int error = vka_cspace_alloc_path(dest_vka, result); local
31 if (error != seL4_NoError) {
32 return error;
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dmalloc.c37 int error = BMK_ENOMEM; local
41 error = 0;
44 return error;
/seL4-camkes-master/projects/musllibc/src/time/
H A Dmktime.c16 if ((time_t)t != t) goto error;
20 if (__secs_to_tm(t + new.__tm_gmtoff, &new) < 0) goto error;
25 error:
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/
H A Dplic.c73 int error = callback(irq, i, total_cells, token); local
74 if (error) {
75 return error;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Domap3.c38 int error = callback(irq, 0, TI_OMAP3_INT_CELL_COUNT, token); local
39 if (error) {
40 return error;
/seL4-camkes-master/projects/musllibc/src/passwd/
H A Dnscd_query.c62 goto error;
66 goto error;
74 if (ferror(f)) goto error;
84 goto error;
100 goto error;
104 error:
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dnull.h24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument
26 SET_ERROR(error, 1);
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/
H A Dpci.c40 int error = ps_io_port_in(&io_ops, port, IOSIZE_8, &result); local
41 if (error) {
53 int error = ps_io_port_in(&io_ops, port, IOSIZE_16, &result); local
54 if (error) {
66 int error = ps_io_port_in(&io_ops, port, IOSIZE_32, &result); local
67 if (error) {
78 // Ignore the error, if any
86 // Ignore the error, if any
94 // Ignore the error, if any
101 int error local
[all...]
/seL4-camkes-master/projects/musllibc/src/network/
H A Dsendmmsg.c22 if (r < 0) goto error;
25 error:
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/
H A Dclock.c120 int error = ps_calloc(&tx2_clk->io_ops->malloc_ops, 1, sizeof(*ret_clk), (void **) &ret_clk); local
121 if (error) {
129 error = tx2_car_gate_enable(clock_sys, id, CLKGATE_ON);
130 if (error) {
148 error = ps_calloc(&tx2_clk->io_ops->malloc_ops, 1, sizeof(char) * clk_name_len, (void **) &clock_name);
149 if (error) {
206 int error = 0; local
210 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(tx2_clk_t), (void **) &clock_sys->priv);
211 if (error) {
213 error
[all...]
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserver_virtqueue.c143 int UNUSED error; local
144 error = serial_lock();
149 error = serial_unlock();
154 int UNUSED error; local
155 error = serial_lock();
160 error = serial_unlock();
166 int error = camkes_virtqueue_device_init(&read_virtqueue, 0); local
167 if (error) {
171 error = camkes_virtqueue_device_init(&write_virtqueue, 1);
172 if (error) {
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dtest_pack.c25 json_error_t error; local
231 if(json_pack_ex(&error, 0, "{\n\n1"))
236 if(json_pack_ex(&error, 0, "[}"))
240 if(json_pack_ex(&error, 0, "{]"))
245 if(json_pack_ex(&error, 0, "["))
250 if(json_pack_ex(&error, 0, "{"))
255 if(json_pack_ex(&error, 0, "[i]a", 42))
259 if(json_pack_ex(&error, 0, "ia", 42))
264 if(json_pack_ex(&error, 0, "s", NULL))
269 if(json_pack_ex(&error,
[all...]

Completed in 141 milliseconds

1234567891011>>