Searched refs:error (Results 1 - 25 of 480) sorted by relevance

1234567891011>>

/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/
H A Dtest.c36 int error; local
38 error = serial_server_parent_spawn_thread(&env->simple,
42 test_eq(error, 0);
50 int error; local
54 error = serial_server_parent_spawn_thread(&env->simple,
58 test_eq(error, 0);
60 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
61 test_eq(error, 0);
63 error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
65 test_eq(error,
74 int error; local
100 int error; local
127 int error; local
179 int error; local
207 int error; local
231 int error; local
268 int error; local
296 int error; local
[all...]
/seL4-refos-master/libs/librefos/src/
H A Derror.c13 #include <refos/error.h>
/seL4-refos-master/projects/refos/impl/libs/librefos/src/
H A Derror.c13 #include <refos/error.h>
/seL4-refos-master/libs/libsel4platsupport/src/
H A Ddevice.c26 int error = vka_cspace_alloc(vka, &cap); local
27 if (error != 0) {
29 return error;
35 error = simple_get_IRQ_handler(simple, irq->irq.number, *dest);
37 error = sel4platsupport_arch_copy_irq_cap(&simple->arch_simple, irq, dest);
40 if (error != seL4_NoError) {
44 return error;
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); local
51 if (error) {
55 return error;
60 int error; local
[all...]
H A Dtimer.c61 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr); local
62 if (error) {
63 ZF_LOGE("Failed to ack irq %lu, error %d", irq, error);
72 int error = vka_cspace_alloc_path(vka, &irq->badged_ntfn_path); local
75 if (!error) {
77 error = vka_cnode_mint(&irq->badged_ntfn_path, &path, seL4_AllRights, badge);
79 if (!error) {
82 error = seL4_IRQHandler_SetNotification(irq->handler_path.capPtr, irq->badged_ntfn_path.capPtr);
84 if (!error) {
92 int error = ltimer_get_nth_pmem(ltimer, n, &obj->region); local
130 int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq, local
150 int error; local
177 int error; local
210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops); local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c26 int error = vka_cspace_alloc(vka, &cap); local
27 if (error != 0) {
29 return error;
35 error = simple_get_IRQ_handler(simple, irq->irq.number, *dest);
37 error = sel4platsupport_arch_copy_irq_cap(&simple->arch_simple, irq, dest);
40 if (error != seL4_NoError) {
44 return error;
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); local
51 if (error) {
55 return error;
60 int error; local
[all...]
H A Dtimer.c61 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr); local
62 if (error) {
63 ZF_LOGE("Failed to ack irq %lu, error %d", irq, error);
72 int error = vka_cspace_alloc_path(vka, &irq->badged_ntfn_path); local
75 if (!error) {
77 error = vka_cnode_mint(&irq->badged_ntfn_path, &path, seL4_AllRights, badge);
79 if (!error) {
82 error = seL4_IRQHandler_SetNotification(irq->handler_path.capPtr, irq->badged_ntfn_path.capPtr);
84 if (!error) {
92 int error = ltimer_get_nth_pmem(ltimer, n, &obj->region); local
130 int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq, local
150 int error; local
177 int error; local
210 int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops); local
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dltimer.c49 int error = get_time(data, &time); local
50 if (error) {
51 return error;
83 int error; local
90 error = create_ltimer_simple(
94 if (error) {
96 return error;
110 error = sp804_init(&fvp_ltimer->sp804_timeout, ops, sp804_config);
111 if (error) {
114 return error;
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dltimer.c49 int error = get_time(data, &time); local
50 if (error) {
51 return error;
83 int error; local
90 error = create_ltimer_simple(
94 if (error) {
96 return error;
110 error = sp804_init(&fvp_ltimer->sp804_timeout, ops, sp804_config);
111 if (error) {
114 return error;
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dltimer.c49 int error = get_time(data, &time); local
50 if (error) {
51 return error;
87 int error; local
94 error = create_ltimer_simple(
98 if (error) {
100 return error;
114 error = dmt_init(&hikey_ltimer->dmt_timeout, ops, dmt_config);
115 if (error) {
118 return error;
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Dltimer.c49 int error = get_time(data, &time); local
50 if (error) {
51 return error;
87 int error; local
94 error = create_ltimer_simple(
98 if (error) {
100 return error;
114 error = dmt_init(&hikey_ltimer->dmt_timeout, ops, dmt_config);
115 if (error) {
118 return error;
[all...]
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Dgpio_utils.c49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain); local
50 if (error) {
54 error = list_init(&(*ret_chain)->pin_list);
55 if (error) {
57 return error;
72 int error = list_remove_all(&chain->pin_list); local
73 if (error) {
74 return error;
77 error = list_destroy(&chain->pin_list);
78 if (error) {
94 int error = list_append(&chain->pin_list, (void *) gpio); local
159 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local
178 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgpio_utils.c49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain); local
50 if (error) {
54 error = list_init(&(*ret_chain)->pin_list);
55 if (error) {
57 return error;
72 int error = list_remove_all(&chain->pin_list); local
73 if (error) {
74 return error;
77 error = list_destroy(&chain->pin_list);
78 if (error) {
94 int error = list_append(&chain->pin_list, (void *) gpio); local
159 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local
178 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local
[all...]
/seL4-refos-master/libs/libplatsupport/src/
H A Dlocal_time_manager.c60 int error = 0; local
65 error = tqueue_update(&state->timeouts, curr_time, &next_time);
66 if (error) {
68 return error;
76 error = ltimer_set_timeout(state->ltimer, next_time, TIMEOUT_ABSOLUTE);
77 if (error == ETIME) {
82 if (error == 0) {
87 } while (error == ETIME);
89 return error;
99 int error local
181 int error = ps_calloc(&ops->malloc_ops, 1, sizeof(time_man_state_t), &tm->data); local
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c60 int error = 0; local
65 error = tqueue_update(&state->timeouts, curr_time, &next_time);
66 if (error) {
68 return error;
76 error = ltimer_set_timeout(state->ltimer, next_time, TIMEOUT_ABSOLUTE);
77 if (error == ETIME) {
82 if (error == 0) {
87 } while (error == ETIME);
89 return error;
99 int error local
181 int error = ps_calloc(&ops->malloc_ops, 1, sizeof(time_man_state_t), &tm->data); local
[all...]
/seL4-refos-master/libs/libsel4allocman/
H A Dexample_bootstrap.c37 int error; local
43 vka = allocman_mspace_alloc(allocman, sizeof(*vka), &error);
44 assert(!error);
52 error = allocman_fill_reserves(allocman);
53 assert(!error);
58 int error; local
69 error = allocman_utspace_add_uts(allocman, 1, &slot, &size_bits, &paddr);
70 assert(!error);
72 error = allocman_fill_reserves(allocman);
73 assert(!error);
77 int error; local
118 int error; local
147 int error; local
186 int error; local
215 int error; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c37 int error; local
43 vka = allocman_mspace_alloc(allocman, sizeof(*vka), &error);
44 assert(!error);
52 error = allocman_fill_reserves(allocman);
53 assert(!error);
58 int error; local
69 error = allocman_utspace_add_uts(allocman, 1, &slot, &size_bits, &paddr);
70 assert(!error);
72 error = allocman_fill_reserves(allocman);
73 assert(!error);
77 int error; local
118 int error; local
147 int error; local
186 int error; local
215 int error; local
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dltimer.c55 int error = get_time(data, &current_time); local
56 assert(error == 0);
88 int error; local
90 error = create_ltimer_simple(
94 if (error) {
96 return error;
110 error = dmt_init(&dmt_ltimer->dmt_timestamp, ops, dmt_config);
111 if (error) {
114 return error;
117 error
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dltimer.c55 int error = get_time(data, &current_time); local
56 assert(error == 0);
88 int error; local
90 error = create_ltimer_simple(
94 if (error) {
96 return error;
110 error = dmt_init(&dmt_ltimer->dmt_timestamp, ops, dmt_config);
111 if (error) {
114 return error;
117 error
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dtwo_level.c57 int error; local
68 sizeof(struct cspace_two_level_node), &error);
69 if (error) {
70 return error;
75 seL4_CapTableObject, &path, false, &error);
80 if (error) {
83 return error;
85 error = cspace_single_level_create(alloc, &cspace->second_levels[index]->second_level, single_config);
86 if (error) {
90 return error;
98 int error; local
151 int error; local
180 int error; local
225 int UNUSED error = seL4_CNode_Delete(cspace->config.cnode, index, local
[all...]
/seL4-refos-master/libs/libsel4allocman/src/cspace/
H A Dtwo_level.c57 int error; local
68 sizeof(struct cspace_two_level_node), &error);
69 if (error) {
70 return error;
75 seL4_CapTableObject, &path, false, &error);
80 if (error) {
83 return error;
85 error = cspace_single_level_create(alloc, &cspace->second_levels[index]->second_level, single_config);
86 if (error) {
90 return error;
98 int error; local
151 int error; local
180 int error; local
225 int UNUSED error = seL4_CNode_Delete(cspace->config.cnode, index, local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dcondition_var.h34 * @return 0 on success, an error code on failure. */
60 * @return 0 on success, an error code on failure. */
71 int error = sync_bin_sem_post(lock); local
72 if (error != 0) {
73 return error;
80 error = sync_bin_sem_wait(lock);
81 if (error != 0) {
82 return error;
105 * @return 0 on success, an error code on failure. */
122 * @return 0 on success, an error cod
155 int error = sync_bin_sem_post(lock); local
178 int error = vka_alloc_notification(vka, &(cv->notification)); local
[all...]
/seL4-refos-master/libs/libsel4allocman/include/allocman/
H A Dcspaceops.h23 int error; local
24 error = allocman_cspace_alloc(alloc, result);
25 if (error) {
26 return error;
/seL4-refos-master/libs/libsel4debug/src/
H A Dregister_dump.c28 int error; local
31 error = seL4_TCB_ReadRegisters(tcb, false, 0, num_regs, &context);
32 if (error) {
33 ZF_LOGE("Failed to read registers for tcb 0x%lx, error %d", (long) tcb, error);
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dcspaceops.h23 int error; local
24 error = allocman_cspace_alloc(alloc, result);
25 if (error) {
26 return error;

Completed in 92 milliseconds

1234567891011>>