Searched refs:error (Results 176 - 200 of 448) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/src/internal/powerpc/
H A Dsyscall.s14 #else error:
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/
H A Dsyscall.s14 neg 3, 3 # otherwise error: return negated value.
/seL4-camkes-master/tools/rumprun/tests/hello/
H A Dhello.c9 # error compiler wrapper fail
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata); local
109 if (!error) {
110 error = seL4_TCB_SetIPCBuffer(tcb, ipc_buffer_addr, ipc_buffer_cap);
112 if (!error) {
113 error = seL4_TCB_SetTimeoutEndpoint(tcb, timeout_ep);
115 if (!error && sc != seL4_CapNull) {
116 error = seL4_SchedContext_Bind(sc, tcb);
118 return error;
177 .error = (seL4_Error) - ENOSYS
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Drpc-connector-common-from.c13 /*- import 'helpers/error.c' as error with context -*/
26 #include <camkes/error.h>
37 /* Interface-specific error handling */
39 /*? error.make_error_handler(interface, error_handler) ?*/
H A Dcomponent.simple.c29 #include <camkes/error.h>
412 int error; local
416 error = seL4_Untyped_RetypeAtOffset(untyped, type, 0, 12, /*? self_cnode ?*/, 0, 0, /*? holding_slot ?*/, 1);
418 error = seL4_Untyped_Retype(untyped, type, 12, /*? self_cnode ?*/, 0, 0, /*? holding_slot ?*/, 1);
420 ERR_IF(error != seL4_NoError, camkes_error, ((camkes_error_t){
425 .error = error,
436 .error = res.error,
/seL4-camkes-master/projects/global-components/components/ClockServer/libClockServer-client/
H A Dclockserver_client.c58 int error = clockserver_data->clockserver_init_clock(id); local
59 if (error) {
65 error = ps_calloc(&clockserver_data->io_ops->malloc_ops, 1, sizeof(clk_t), (void **) &ret_clk);
66 if (error) {
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dio.h18 #include <camkes/error.h>
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/
H A Dhsp.c186 int error = 0; local
189 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*hsp_priv), (void **) &hsp_priv);
190 if (error) {
197 error = ps_fdt_read_path(&io_ops->io_fdt, &io_ops->malloc_ops, path, &cookie);
198 if (error) {
204 error = ps_fdt_walk_registers(&io_ops->io_fdt, cookie, allocate_register_callback, hsp_priv);
205 if (error) {
217 error = ps_fdt_cleanup_cookie(&io_ops->malloc_ops, cookie);
218 if (error) {
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c98 int error = 0; local
103 error = ENOMEM;
109 error = ENOMEM;
118 error = ENOMEM;
133 error = vspace_map_pages_at_vaddr(&env.vspace, caps, cookies, addr, num_pages, BMK_PCPU_PAGE_SHIFT, res);
134 if (error) {
135 error = ENOMEM;
151 return error;
156 UNUSED int error; local
170 pmem_region_t *regions = allocman_mspace_alloc(allocator, sizeof(pmem_region_t) * num_regions, &error);
[all...]
H A Dcons.c94 int error = serial_server_client_connect(env.custom_simple.serial_config.ep, local
96 if (!error) {
/seL4-camkes-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h108 #error Only PT_LEVELS == 3 is supported
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c44 #error Could not determine endianess
80 #define RXD_CRCERR BIT( 2) /* The frame has a CRC error */
317 int error = acknowledge_fn(ack_data); local
318 if (error) {
389 goto error;
397 goto error;
409 goto error;
416 goto error;
422 goto error;
436 goto error;
528 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **) &eth_driver); local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c240 int error = vka_cspace_alloc_path(irq_cookie->vka, &mint_path); local
241 if (error) {
246 error = vka_cnode_mint(&mint_path, &(ntfn_entry->root_ntfn_path), seL4_AllRights, badge);
247 if (error) {
253 error = seL4_IRQHandler_SetNotification(irq_entry->handler_path.capPtr, mint_path.capPtr);
254 if (error) {
256 error = vka_cnode_delete(&mint_path);
257 ZF_LOGF_IF(error, "Failed to cleanup after a failed IRQ set ntfn operation");
263 error = seL4_IRQHandler_Ack(irq_entry->handler_path.capPtr);
264 if (error) {
450 int error = seL4_IRQHandler_Clear(irq_entry->handler_path.capPtr); local
507 int error = irq_set_ntfn_common(irq_cookie, MINI_IRQ_INTERFACE_NTFN_ID, assigned_id, NULL); local
540 int error = seL4_IRQHandler_Ack(irq_entry->handler_path.capPtr); local
695 int error = vka_cnode_delete(&(irq_entry->ntfn_path)); local
774 int error = seL4_IRQHandler_Clear(irq_entry->handler_path.capPtr); local
809 int error = ps_calloc(irq_cookie->malloc_ops, 1, sizeof(ack_data_t), (void **) &ack_data); local
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dpage_dma.c89 int error = vka_alloc_untyped(&dma->vka, size_bits, &ut); local
90 if (error) {
107 error = vka_cspace_alloc_path(&dma->vka, &frames[i]);
108 if (error) {
111 error = seL4_Untyped_Retype(ut.cptr, kobject_get_type(KOBJECT_FRAME, PAGE_BITS_4K), size_bits, frames[i].root,
113 if (error != seL4_NoError) {
132 error = vspace_map_pages_at_vaddr(&dma->vspace, &frames[i].capPtr, (uintptr_t *)&alloc, base + i * PAGE_SIZE_4K, 1,
134 if (error) {
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/ia32/
H A Darch.c64 int error = sel4utils_stack_write(local_vspace, remote_vspace, vka, stack_args, sizeof(stack_args), local
66 if (error) {
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A DMakefile.am8 error.c \
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c170 int error = ps_irq_unregister(&odroidc2_timer->ops.irq_ops, odroidc2_timer->timer_irq_id); local
171 ZF_LOGF_IF(error, "Failed to unregister IRQ");
185 int error = ltimer_default_describe(ltimer, ops); local
186 if (error) {
187 return error;
196 error = ps_calloc(&ops.malloc_ops, 1, sizeof(odroidc2_ltimer_t), &ltimer->data);
197 if (error) {
198 return error;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c43 int UNUSED error = pit_set_timeout(pit, wait_ns, true); local
44 assert(error == 0);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchHardwareInterrupt.template.c230 int error = seL4_IRQHandler_SetNotification(/*? irq ?*/, /*? notification_origin ?*/); local
231 if (error) {
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/src/
H A Dserver.c75 int error = ps_interface_find(&io_ops->interface_registration_ops, TX2_BPMP_INTERFACE, local
77 ZF_LOGF_IF(error, "Failed to find bpmp driver");
/seL4-camkes-master/projects/lwip/src/apps/snmp/
H A Dsnmp_mib2.c46 #error LWIP_SNMP MIB2 needs LWIP_STATS (for MIB2)
49 #error LWIP_SNMP MIB2 needs MIB2_STATS (for MIB2)
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dalloc.c96 * where we abandon all instrumentation if we've hit an error. The reasoning
97 * behind this is that error reporting functions may call malloc.
133 /* Throw an error resulting from a bad user invocation. */
134 #define error(args...) do { \ macro
135 assert(!err); /* We should not already be handling an error. */ \
153 error("Leading corruption in heap memory pointed to by %p (called "
164 error("Buffer overflow in heap memory pointed to by %p (called prior "
195 error("Exhausted pointer tracking buffer; try increasing "
214 error("Attempt to free pointer %p that was never malloced (called prior "
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Drtc.c37 int error UNUSED;
38 error = ps_io_port_out(port_ops, CMOS_ADDRESS, 1, reg);
39 assert(!error);
41 error = ps_io_port_in(port_ops, CMOS_DATA, 1, &val);
42 assert(!error);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/
H A Dvmm_pci_helper.c55 int error = vm_enable_passthrough_ioport(vm->vcpus[BOOT_VCPU], cfg->base_addr[i], cfg->base_addr[i] + size - 1); local
56 if (error) {
57 return error;
103 int error = dev->ioread(dev->cookie, reg, size, result); local
104 if (error) {

Completed in 324 milliseconds

1234567891011>>