/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
H A D | smmu.c | 31 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 D | timer.c | 46 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 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-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
H A D | ept.c | 35 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 D | iopt.c | 48 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 D | pagetables.c | 60 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 D | inc_untyped.c | 20 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 D | cnodeops.c | 30 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 D | serial_server.c | 85 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 D | schedcontext.c | 23 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 D | threads.c | 25 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 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-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/sel4test/apps/sel4test-driver/src/plat/exynos5/ |
H A D | plat.c | 22 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 D | plat.c | 20 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 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-test-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-test-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;
|
/seL4-test-master/projects/seL4_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);
|