/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | test.c | 36 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 D | error.c | 13 #include <refos/error.h>
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
H A D | error.c | 13 #include <refos/error.h>
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | device.c | 26 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 D | timer.c | 61 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 D | device.c | 26 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 D | timer.c | 61 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 D | ltimer.c | 49 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 D | ltimer.c | 49 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 D | ltimer.c | 49 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 D | ltimer.c | 49 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 D | gpio_utils.c | 49 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 D | gpio_utils.c | 49 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 D | local_time_manager.c | 60 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 D | local_time_manager.c | 60 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 D | example_bootstrap.c | 37 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 D | example_bootstrap.c | 37 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 D | ltimer.c | 55 int error = get_time(data, ¤t_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 D | ltimer.c | 55 int error = get_time(data, ¤t_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 D | two_level.c | 57 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 D | two_level.c | 57 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 D | condition_var.h | 34 * @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 D | cspaceops.h | 23 int error; local 24 error = allocman_cspace_alloc(alloc, result); 25 if (error) { 26 return error;
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | register_dump.c | 28 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 D | cspaceops.h | 23 int error; local 24 error = allocman_cspace_alloc(alloc, result); 25 if (error) { 26 return error;
|