/seL4-camkes-master/projects/musllibc/src/internal/powerpc/ |
H A D | syscall.s | 14 #else error:
|
/seL4-camkes-master/projects/musllibc/src/internal/powerpc64/ |
H A D | syscall.s | 14 neg 3, 3 # otherwise error: return negated value.
|
/seL4-camkes-master/tools/rumprun/tests/hello/ |
H A D | hello.c | 9 # error compiler wrapper fail
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mcs_api.h | 108 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 D | rpc-connector-common-from.c | 13 /*- 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 D | component.simple.c | 29 #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 D | clockserver_client.c | 58 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 D | io.h | 18 #include <camkes/error.h>
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | hsp.c | 186 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 D | entry.c | 98 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 D | cons.c | 94 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 D | hardware.h | 108 #error Only PT_LEVELS == 3 is supported
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 44 #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 **) ð_driver); local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 240 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 D | page_dma.c | 89 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 D | arch.c | 64 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 D | Makefile.am | 8 error.c \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 170 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), <imer->data); 197 if (error) { 198 return error;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/ |
H A D | tsc.c | 43 int UNUSED error = pit_set_timeout(pit, wait_ns, true); local 44 assert(error == 0);
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4GlobalAsynchHardwareInterrupt.template.c | 230 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 D | server.c | 75 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 D | snmp_mib2.c | 46 #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 D | alloc.c | 96 * 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 D | rtc.c | 37 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 D | vmm_pci_helper.c | 55 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) {
|