/seL4-camkes-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...] |
H A D | ltimer.h | 43 int UNUSED error = irq_handler(ltimer->data, irq); local 44 assert(!error); 46 error = acknowledge_fn(ack_data); 47 assert(!error); 60 int error; local 70 error = ps_fdt_read_path(&ops->io_fdt, &ops->malloc_ops, fdt_path, &cookie); 71 if (error) { 72 ZF_LOGE("Simple FDT helper failed to read path (%d, %s)", error, fdt_path); 73 return error; 88 error 126 int error = ps_calloc(&ops.malloc_ops, 1, sz, <imer->data); local [all...] |
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | util.h | 32 /* Assumes json_error_t error */ 35 if(strcmp(error.text, text_) != 0) { \ 37 fprintf(stderr, "text: \"%s\" != \"%s\"\n", error.text, text_); \ 40 if(strcmp(error.source, source_) != 0) { \ 43 fprintf(stderr, "source: \"%s\" != \"%s\"\n", error.source, source_); \ 46 if(error.line != line_) { \ 48 fprintf(stderr, "line: %d != %d\n", error.line, line_); \ 51 if(error.column != column_) { \ 53 fprintf(stderr, "column: %d != %d\n", error.column, column_); \ 56 if(error [all...] |
/seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/templates/ |
H A D | x86-iospace-dma.template.c | 52 int error = 0; local 63 error = vka_cspace_alloc_path(vka, &iospace); 64 if (error) { 65 return error; 70 error = simple_get_iospace(camkes_simple, iospace_id, pci_bdf_int, &iospace); 71 if (error) { 73 return error; 88 error = sel4utils_make_iommu_dma_alloc(vka, vspace, &iospace_dma, 1, &iospace.capPtr); 89 if (error) { 90 return error; 95 int error = sel4utils_iommu_dma_alloc_iospace(iospace_dma.cookie, (void *)(*frame)->vaddr, (*frame)->size); local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
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-camkes-master/tools/rumprun/tests/cmake/ |
H A D | test.c | 14 #error Should not have epoll. In case NetBSD now has epoll, please update test. 17 #error Could not find select. Was ist los? 22 #error sigaction not found. libc problem.
|
/seL4-camkes-master/tools/rumprun/tests/configure/ |
H A D | test.c | 14 #error Should not have epoll. In case NetBSD now has epoll, please update test. 17 #error Could not find select. Was ist los? 22 #error sigaction not found. libc problem.
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4MessageQueue-to.template.c | 63 int error = 0; local 64 error = camkes_msgqueue_channel_register_receiver(/*? queue_id ?*/, 72 if (error) {
|
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/iteration/detail/ |
H A D | self.hpp | 13 # error MSGPACK_PP_ERROR: no indirect file to include
|
/seL4-camkes-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-camkes-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);
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/ |
H A D | 82574.c | 43 int error = ethif_e82574_init(eth_driver, *io_ops, eth_config); local 44 if (error) { 46 return error; 56 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); local 57 if (error) { 59 return error; 62 error = ethif_init(eth_driver, io_ops); 63 if (error) { 65 return error;
|
H A D | 82580.c | 43 int error = ethif_e82580_init(eth_driver, *io_ops, eth_config); local 44 if (error) { 46 return error; 56 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); local 57 if (error) { 59 return error; 62 error = ethif_init(eth_driver, io_ops); 63 if (error) { 65 return error;
|
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/templates/ |
H A D | BPMPServer-client.template.c | 27 int error = bpmpserver_interface_init(/*? connection_name ?*/_buf, /*? connection_name ?*/_get_size(), /*? connection_name ?*/_call, &/*? connection_name?*/_server_wrapper); local 28 if (error) { 33 error = ps_interface_register(&io_ops->interface_registration_ops, TX2_BPMP_INTERFACE, 35 if (error) {
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 30 int error; local 31 error = allocman_cspace_alloc(alloc, &frame_path); 32 if (error) { 34 return error; 36 frame_cookie = allocman_utspace_alloc(alloc, seL4_PageBits, seL4_ARCH_4KPage, &frame_path, true, &error); 37 if (error) { 40 return error; 42 while ((error = seL4_ARCH_Page_Map(frame_path.capPtr, pd, (seL4_Word) vaddr, seL4_AllRights, 45 error = allocman_cspace_alloc(alloc, &path); 46 if (error) { 90 int error; local 113 _mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 93 int error = 0; local 96 error = ttc_destroy(&ttc_ltimer->ttcs[TIMEOUT_IDX]); 97 ZF_LOGF_IF(error, "Failed to de-allocate the timeout timer"); 101 error = ttc_destroy(&ttc_ltimer->ttcs[TIMESTAMP_IDX]); 102 ZF_LOGF_IF(error, "Failed to de-allocate the timestamp timer"); 116 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(ttc_ltimer_t), <imer->data); local 117 if (error) { 118 return error; 127 int error = create_ltimer(ltimer, ops); local 128 if (error) { [all...] |
/seL4-camkes-master/projects/global-components/components/ClockServer/src/ |
H A D | clock_server.c | 62 int error = 0; local 66 error = -EINVAL; 75 error = -EBUSY; 78 error = 0; 86 error = -ENODEV; 94 return error; 101 int error = clk_gate_enable(&ops->clock_sys, gate, mode); local 103 return error; 168 int error = 0; local 171 error 211 int error; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | mapping.c | 41 int error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr); local 42 while (error == seL4_FailedLookup) { 44 error = map_obj_fn(seL4_MappingFailedLookupLevel(), &obj); 46 assert(error == 0); 49 error = vka_alloc_object(vka, obj.type, obj.size_bits, &object); 53 if (error) { 55 return error; 58 error = vspace_map_obj(&obj, object.cptr, root, 60 if (error == seL4_DeleteFirst) { 66 if (error) { 104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable, local 121 int error = vka_cspace_alloc_path(vka, ©_path); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | ltimer.c | 49 int error = get_time(data, ¤t_time); local 50 assert(error == 0); 84 int error; local 91 error = create_ltimer_simple( 95 if (error) { 97 return error; 111 error = rk_init(&rk_ltimer->rk_timeout, ops, rk_config); 112 if (error) { 115 return error; 123 error [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | parentapi.c | 33 seL4_Error error; local 54 error = vka_alloc_endpoint(parent_vka, &get_serial_server()->server_ep_obj); 55 if (error != 0) { 57 error); 58 return error; 73 error = seL4_NotEnoughMemory; 77 error = vka_mint_object(parent_vka, &get_serial_server()->server_ep_obj, 81 if (error != 0) { 93 * If a client tries to send us too many frames, we respond with an error, 100 error [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 90 int error; local 104 error = allocman_create(alloc, mspace_dual_pool_make_interface(mspace)); 105 if (error) { 138 int error; local 139 bootstrap_info_t *bs = allocman_mspace_alloc(alloc, sizeof(bootstrap_info_t), &error); 140 if (error) { 156 int error; local 157 new_uts = allocman_mspace_alloc(bs->alloc, sizeof(cspacepath_t) * (bs->num_uts + 1), &error); 158 if (error) { 160 return error; 201 int error; local 212 int error; local 235 int error; local 263 int error; local 309 int error; local 322 int error; local 338 int error; local 400 int error; local 412 int error; local 439 int error; local 499 int error; local 544 int error; local 656 int error; local 674 int error; local 716 int error; local 745 int error; local 782 int error; local 812 int error; local 826 int error; local 878 int error; local 899 int error; local 985 int error = allocman_cspace_alloc(alloc, &path); local 1012 int error; local 1089 int error; local 1117 int error = prepare_handle_device_untyped_cap(alloc, simple, &state, num_regions, region_list); local 1151 int error; local 1169 int error; local 1229 int error; local 1248 int error; local [all...] |