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

1234567891011

/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dsmmu.c31 int error; local
37 error = sel4utils_configure_process_custom(&smmu_process, &env->vka, &env->vspace, config);
38 ZF_LOGF_IF(error, "Failed to creat a fake process for SMMU tests");
45 int error; local
57 error = seL4_ARM_CBControl_TLBInvalidateAll(simple_get_cb_ctrl(&env->simple));
58 ZF_LOGF_IF(error, "Failed to invalidate all TLB entries in SMMU context banks");
61 error = vka_cspace_alloc_path(&env->vka, &slot_path);
62 ZF_LOGF_IF(error, "Failed to allocate cnode slot for SID0");
63 error = seL4_ARM_SIDControl_GetSID(simple_get_sid_ctrl(&env->simple), 0, slot_path.root, slot_path.capPtr,
65 ZF_LOGF_IF(error, "Faile
[all...]
H A Dtimer.c46 int error = tm_alloc_id_at(&env->tm, TIMER_ID); local
47 test_assert_fatal(!error);
49 error = tm_register_cb(&env->tm, TIMEOUT_PERIODIC, 1 * NS_IN_S, 0, TIMER_ID,
51 test_assert_fatal(!error);
56 error = tm_update(&env->tm);
57 test_assert_fatal(!error);
60 error = tm_free_id(&env->tm, TIMER_ID);
61 test_assert_fatal(!error);
63 error = ltimer_reset(&env->ltimer);
64 test_assert_fatal(!error);
73 int error = 0; local
[all...]
/seL4-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/
H A Dept.c35 int error = 0; local
44 error = seL4_X86_EPTPD_Map(*pd, pml4, EPT_MAP_BASE, seL4_X86_Default_VMAttributes);
45 test_error_eq(error, seL4_NoError);
46 error = seL4_X86_EPTPT_Map(*pt, pml4, EPT_MAP_BASE, seL4_X86_Default_VMAttributes);
47 test_error_eq(error, seL4_NoError);
48 error = seL4_X86_Page_MapEPT(*frame, pml4, EPT_MAP_BASE, seL4_AllRights, seL4_X86_Default_VMAttributes);
49 test_error_eq(error, seL4_NoError);
52 return error;
57 int error = 0; local
64 error
77 int error = 0; local
98 int error = 0; local
120 int error; local
136 int error; local
166 int error; local
192 int error; local
213 int error; local
239 int error; local
258 int error; local
277 int error; local
311 int error; local
356 int error; local
383 int error; local
403 int error; local
423 int error; local
[all...]
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Diopt.c48 int error = seL4_NoError; local
59 error = seL4_X86_IOPageTable_Map(pts->pts[pts->depth], iospace, IOPT_MAP_BASE);
60 test_eq(error, seL4_NoError);
63 test_eq(error, seL4_NoError);
65 return error;
70 int error; local
75 error = vka_cspace_alloc(&env->vka, iospace);
76 test_error_eq(error, seL4_NoError);
79 error = vka_cnode_mint(&iospace_path, &master_path, seL4_AllRights, (DOMAIN_ID << 16) | FAKE_PCI_DEVICE);
80 test_eq(error, seL4_NoErro
96 int error; local
110 int error; local
143 int error; local
162 int error; local
190 int error; local
210 int error; local
245 int error; local
266 int error = map_iopt_from_iospace(env, iospace, iopt_cptr, frame); local
280 int error; local
298 int error; local
331 int error; local
356 int error; local
389 int error; local
[all...]
H A Dpagetables.c60 int error; local
67 error = seL4_ARM_Page_Map(cap1, env->page_directory,
70 test_error_eq(error, 0);
72 error = seL4_ARM_Page_Unmap(cap1);
73 test_error_eq(error, 0);
78 error = seL4_ARM_Page_Map(cap2, env->page_directory,
81 test_error_eq(error, 0);
83 error = seL4_ARM_Page_Unmap(cap2);
84 test_error_eq(error, 0);
89 error
111 int error; local
335 int error; local
[all...]
H A Dinc_untyped.c20 int error; local
25 error = vka_alloc_cnode_object(&env->vka, 2, &cnode);
26 test_error_eq(error, 0);
28 error = vka_alloc_untyped(&env->vka, seL4_TCBBits + 3, &untyped);
29 test_error_eq(error, 0);
32 error = seL4_Untyped_Retype(untyped.cptr,
36 test_error_eq(error, seL4_RangeError);
38 /* Check we got useful min/max error codes. */
43 error = seL4_Untyped_Retype(untyped.cptr,
47 test_error_eq(error, seL4_RangeErro
122 int error; local
163 int error; local
[all...]
H A Dcnodeops.c30 int error; local
37 error = cnode_copy(env, src, dest, seL4_AllRights);
38 test_error_eq(error, seL4_NoError);
44 error = cnode_copy(env, src, dest, seL4_AllRights);
45 test_error_eq(error, seL4_DeleteFirst);
51 error = cnode_copy(env, src, dest, seL4_AllRights);
52 test_error_eq(error, seL4_DeleteFirst);
59 error = cnode_copy(env, src, dest, seL4_AllRights);
60 test_error_eq(error, seL4_FailedLookup);
69 int error; local
91 int error; local
120 int error; local
153 int error; local
187 int error; local
209 int error; local
231 int error; local
290 int error; local
[all...]
H A Dserial_server.c85 int error = 0; local
88 error = serial_server_client_connect(self->badged_server_ep_cspath.capPtr,
91 return error;
99 int error; local
102 error = serial_server_client_connect(self->badged_server_ep_cspath.capPtr,
105 if (error != 0) {
106 return error;
109 error = serial_server_printf(&conn, test_str);
110 if (error != strlen(test_str)) {
121 int error; local
145 int error; local
187 int error; local
215 int error; local
300 int error; local
358 int error; local
523 int error; local
573 int error; local
612 int error; local
648 int error; local
660 int error; local
672 int error; local
684 int error; local
697 int error; local
723 int error; local
735 int error; local
747 int error; local
759 int error; local
775 int error; local
[all...]
H A Dschedcontext.c23 int error; local
26 error = vka_alloc_sched_context(&env->vka, &sched_context);
27 test_eq(error, 0);
33 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 5000llu, 5000llu, 0, 0);
34 test_eq(error, seL4_NoError);
40 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), tcb, 5000llu, 5000llu, 0, 0);
41 test_eq(error, seL4_InvalidCapability);
44 error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 0), sc, 0llu, 5000llu, 0, 0);
45 test_eq(error, seL4_RangeError);
48 error
74 int error; local
115 int error = api_sc_bind(sched_context, endpoint); local
233 int error = api_sc_unbind(one.thread.sched_context.cptr); local
285 int error; local
363 int error = create_passive_thread(env, &server, (helper_fn_t) sched_context0008_server_fn, local
425 int error; local
502 int error = api_sc_unbind_object(client.thread.sched_context.cptr, server.thread.tcb.cptr); local
540 int error; local
589 int error; local
640 int error; local
[all...]
H A Dthreads.c25 int error; local
30 error = api_tcb_configure(get_helper_tcb(&thread), 0, seL4_CapNull,
37 return error ? sel4test_get_result() : FAILURE;
44 int error; local
49 error = api_tcb_set_space(get_helper_tcb(&thread), 0, seL4_CapNull,
55 return error ? sel4test_get_result() : FAILURE;
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/sel4test/apps/sel4test-driver/src/plat/exynos5/
H A Dplat.c22 int error; local
26 error = clock_sys_init(&env->ops, &clock);
27 if (error != 0) {
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/imx6/
H A Dplat.c20 int error; local
24 error = clock_sys_init(&env->ops, &clock);
25 if (error != 0) {
/seL4-test-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-test-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-test-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;
/seL4-test-master/projects/seL4_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);

Completed in 119 milliseconds

1234567891011