/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | glob.c | 61 int error; local 74 error = errno; 76 /* this is not an error -- we let opendir call stat for us */ 77 if (error == ENOTDIR) return 0; 78 if (error == EACCES && !*p) { 86 if (errfunc(d, error) || (flags & GLOB_ERR)) 91 error = append(tail, d, l, l) ? GLOB_NOSPACE : 0; 93 return error; 95 while (!(error = readdir_r(dir, &de_buf, &de)) && de) { 111 if ((error 163 int error = 0; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 161 int error = vka_cspace_alloc(vka, &mapping->caps[i]); local 162 if (error) { 164 assert(error == 0); 174 error = vka_utspace_alloc_at(vka, &path, type, page_size_bits, start + (i * page_size), 176 if (error) { 182 goto error; 196 error: 295 int error = ps_calloc(malloc_ops, 1, block_size, &io_fdt->cookie); local 296 if (error) { 334 int error local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | mspace.h | 21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 60 int error; local 94 error = vka_cspace_alloc_path(&dma->vka, ©_path); 95 if (error) { 101 error = vka_cnode_copy(©_path, &page_path, seL4_AllRights); 102 if (error) { 127 error = vspace_map_pages_at_vaddr(dma->iospaces + i, ©_path.capPtr, (uintptr_t *)&cookie, (void *)addr, 1, 129 if (error) { 148 int error; local 152 error = posix_memalign(&ret, align, size); 153 if (error) { [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
H A D | dataport.c | 58 int error = sel4_cache_op(curr_frame->cap, frame_start_offset, frame_end_offset, cache_op); local 59 if (error) { 60 ZF_LOGE("Cache flush syscall returned with error: %d", error); 61 return error;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | serial.h | 34 #error "unknown imx platform selected!"
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 21 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); local 22 if (error == -1) { 32 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); local 33 if (error == -1) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 200 int error; local 202 error = ps_irq_unregister(&dmt->ops.irq_ops, dmt->irq_id); 203 ZF_LOGF_IF(error, "Failed to unregister IRQ"); 216 int error; local 228 error = helper_fdt_alloc_simple( 234 if (error) { 236 return error; 249 int error; local 270 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 271 if (error) { [all...] |
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/ |
H A D | driver.c | 27 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_8, &result); local 28 if (error) { 41 int error = camkes_io_port_ops(&io_port_ops); local 42 assert(!error);
|
/seL4-camkes-master/kernel/tools/ |
H A D | lex.py | 49 # an error. 72 # Exception thrown when invalid token encountered and no default error 105 def error(self, msg, *args, **kwargs): member in class:PlyLogger 150 self.lexstateerrorf = {} # Dictionary of error functions for each state 382 # Verify type of the token. If not in the token map, raise an error 406 tok.type = "error" 412 # Error method didn't change text position at all. This is an error. 413 raise LexError("Scanning error. Illegal character '%s'" % 589 self.error = 0 608 return self.error [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 152 int error; local 154 error = vka_cnode_move(path, &result.slot); 155 if (error != seL4_NoError) { 175 int error; local 197 ret = alloc->mspace.alloc(alloc, alloc->mspace.mspace, size, &error); 199 if (!error) { 205 Does not matter what the error or outcome is, just propogate back up*/ 223 int error; local 243 error = alloc->cspace.alloc(alloc, alloc->cspace.cspace, slot); 245 if (!error) { 267 int error; local 369 int error; local 382 int error; local 404 int error; local 469 int error; local 526 int error; local 584 int error; local 637 int error = 0; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | vspace_pool.c | 31 int error; local 32 error = vspace_new_pages_at_vaddr(&vspace_pool->vspace, (void*)vspace_pool->pool_top, 1, PAGE_SIZE_BITS, vspace_pool->reservation); 33 if (error != seL4_NoError) { 54 void *_mspace_vspace_pool_alloc(struct allocman *alloc, void *_vspace_pool, size_t bytes, int *error) argument 61 SET_ERROR(error, (ret == NULL) ? 1 : 0);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 83 int error = get_time(data, &time); local 85 if (error) { 86 return error; 137 int error; local 144 error = ps_irq_unregister(&generic_ltimer->ops.irq_ops, generic_ltimer->timer_irq_id); 145 ZF_LOGF_IF(error, "Failed to unregister IRQ ID"); 169 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(generic_ltimer_t), <imer->data); local 170 if (error) { 171 return error; 190 error [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
H A D | server.c | 24 int error; local 26 error = vka_cspace_alloc_path(env->vka, &path); 27 if (error) { 28 ZF_LOGE("Failed to alloc path: %d\n", error); 34 error = vka_utspace_alloc_at(env->vka, &path, rpcMsg->msg.memory.type, rpcMsg->msg.memory.size_bits, 36 if (error) { 37 ZF_LOGE("Failed to alloc at: %d\n", error); 61 int error; local 62 error = vka_cspace_alloc_path(env->vka, &path); 63 if (error) { 88 int error; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 41 int error; local 47 new_uts = allocman_mspace_alloc(alloc, sizeof(struct utspace_twinkle_ut) * (num + twinkle->num_uts), &error); 48 if (error) { 49 return error; 65 const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) 78 SET_ERROR(error, 1); 88 SET_ERROR(error, 1); 106 SET_ERROR(error, 1); 114 SET_ERROR(error, 0); 64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/ |
H A D | github_commits.c | 42 fprintf(stderr, "error: too small buffer\n"); 63 goto error; 67 goto error; 86 fprintf(stderr, "error: unable to request data from %s:\n", url); 88 goto error; 94 fprintf(stderr, "error: server responded with code %ld\n", code); 95 goto error; 107 error: 125 json_error_t error; local 140 root = json_loads(text, 0, &error); [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 51 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_cookie), (void **) ret_cookie); local 52 if (error) { 120 /* The error is written to the variable passed in */ 137 int error = callback(curr_pmem, i, num_regs, token); local 138 if (error) { 139 return error; 240 int error = (*irqchip)->parser_fn(dtb_blob, node_offset, root_intr_controller_phandle, callback, token); local 241 if (error) { 243 return error; 285 int error local 339 int error = ps_fdt_walk_irqs(&io_ops->io_fdt, cookie, irq_index_helper_walker, &token); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 178 int error = ps_irq_unregister(&timers->ops.irq_ops, timers->timer_irq_ids[i]); local 179 ZF_LOGF_IF(error, "Failed to unregister IRQ"); 194 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(hifive_timers_t), <imer->data); local 195 if (error) { 196 return error; 227 int error = ltimer_default_describe(ltimer, ops); local 228 if (error) { 229 return error; 232 error = create_ltimer(ltimer, ops); 233 if (error) { [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 128 int error; local 130 error = ps_irq_unregister(&rk->ops.irq_ops, rk->irq_id); 131 ZF_LOGF_IF(error, "Failed to unregister IRQ"); 152 /* Bail on error */ 162 int error; local 175 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, config.fdt_path, &cookie); 176 if (error) { 177 ZF_LOGE("rockpro64 timer failed to read path (%d, %s)", error, config.fdt_path); 178 return error; 187 error 208 int error; local [all...] |
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 198 int error; member in struct:__anon8 209 .error = 0, 215 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF_DOMAIN); 221 ret.error = cbor64_tag(streamer, CBOR64_TAG_SHARED_VALUE); 223 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF); 225 if (ret.error == 0) { 226 ret.error = cbor64_int(streamer, index); 230 ret.error = new_reference(streamer, domain, index); 243 if (ret.error == 0 && ret.emit_literal) { 244 ret.error [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 103 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(nv_tmr_ltimer_t), <imer->data); local 104 if (error) { 105 return error; 111 error = nv_tmr_init(&nv_tmr_ltimer->nv_tmr, ops, NV_TMR_PATH, callback, callback_token); 112 if (error) { 114 return error;
|
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmpv3_mbedtls.c | 140 goto error; 148 goto error; 158 goto error; 163 goto error; 167 goto error; 173 goto error; 177 goto error; 187 goto error; 204 goto error; 213 goto error; [all...] |
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 200 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*data), (void **)&data); local 204 error = ps_interface_find(&io_ops->interface_registration_ops, 206 if (error) { 217 error = camkes_virtqueue_device_init_with_recv(&data->tx_virtqueue, camkes_virtqueue_get_id_from_name(tx_virtqueue), 219 if (error) { 223 error = camkes_virtqueue_device_init_with_recv(&data->rx_virtqueue, camkes_virtqueue_get_id_from_name(rx_virtqueue), 225 if (error) { 229 error = register_handler(tx_badge, "tx_event", virt_queue_handle_irq, data); 230 if (error) { 233 error [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | common.h | 45 #error CONFIG_INIT_CRITICAL is deprecated! 46 #error Read section CONFIG_SKIP_LOWLEVEL_INIT in README.
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | common.h | 45 #error CONFIG_INIT_CRITICAL is deprecated! 46 #error Read section CONFIG_SKIP_LOWLEVEL_INIT in README.
|