Searched refs:error (Results 26 - 50 of 448) sorted by relevance

1234567891011>>

/seL4-camkes-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...]
H A Dltimer.h43 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, &ltimer->data); local
[all...]
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dutil.h32 /* 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 Dx86-iospace-dma.template.c52 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 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-camkes-master/tools/rumprun/tests/cmake/
H A Dtest.c14 #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 Dtest.c14 #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 DseL4MessageQueue-to.template.c63 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 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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/iteration/detail/
H A Dself.hpp13 # error MSGPACK_PP_ERROR: no indirect file to include
/seL4-camkes-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-camkes-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);
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/
H A D82574.c43 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 **)&eth_driver); local
57 if (error) {
59 return error;
62 error = ethif_init(eth_driver, io_ops);
63 if (error) {
65 return error;
H A D82580.c43 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 **)&eth_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 DBPMPServer-client.template.c27 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 Dvirtual_pool.c30 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 Dltimer.c93 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), &ltimer->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 Dclock_server.c62 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 Dmapping.c41 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, &copy_path); local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dltimer.c49 int error = get_time(data, &current_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 Dparentapi.c33 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 Dbootstrap.c90 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...]

Completed in 105 milliseconds

1234567891011>>