/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4IOAPICHardwareInterrupt.template.c | 13 /*- import 'helpers/error.c' as error with context -*/ 16 #include <camkes/error.h> 39 /* Interface-specific error handling */ 41 /*? error.make_error_handler(interface, error_handler) ?*/ 114 int error; local 118 error = seL4_IRQHandler_Ack(/*? irq[0][0] ?*/); 119 ERR_IF(error != 0, /*? error_handler ?*/, ((camkes_error_t){ 125 .error = error, [all...] |
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/ |
H A D | dynamic-untyped-allocators.template.c | 41 int error; local 58 error = allocman_add_simple_untypeds(allocman, &camkes_simple); 62 error = sel4utils_bootstrap_vspace(&vspace, &vspace_data, 64 assert(!error); 68 error = (*init_fun)(io_ops, &vka, &camkes_simple, &vspace); 69 if (error) {
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | msgqueue.c | 51 int error = camkes_virtqueue_driver_init_common(&sender->sender_channel, msgqueue_channel->buffer, local 55 if (error) { 56 return error; 82 int error = camkes_virtqueue_device_init_common(&receiver->receiver_channel, local 84 if (error) { 85 return error; 103 int error = 0; local 107 error = camkes_virtqueue_driver_gather_buffer(&sender->sender_channel, &handle, 109 ZF_LOGF_IF(error, "Failed to get a 'used' buffer even though there exists one"); 114 error 147 int error = camkes_virtqueue_driver_send_buffer(&sender->sender_channel, msgqueue_buf, message_size); local 213 int error = camkes_virtqueue_device_gather_buffer(&receiver->receiver_channel, &handle, &message, &message_len, &flags); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pwm.c | 293 int error; local 297 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t0_irq); 298 ZF_LOGE_IF(error, "Unable to un-register timer irq0") 301 error = ps_irq_unregister(&pwm->ops.irq_ops, pwm->t4_irq); 302 ZF_LOGE_IF(error, "Unable to un-register timer irq4") 307 error = pwm_stop(pwm); 308 ZF_LOGE_IF(error, "Unable to stop timer pwm") 316 int error; local 333 error = ps_fdt_read_path(&ops.io_fdt, &ops.malloc_ops, fdt_path, &fdt_cookie); 334 if (error) { 375 int error; local [all...] |
H A D | ltimer.c | 96 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pwm_ltimer_t), <imer->data); local 97 if (error) { 99 return error; 108 int error; local 110 error = create_ltimer(ltimer, ops); 111 if (error) { 113 return error; 119 error = pwm_init(&pwm_ltimer->pwm, ops, PWM_TIMER_PATH, callback, callback_token); 120 if (error) { 122 return error; [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4keyboard/src/arch-x86/ |
H A D | keyboard.c | 80 int error; local 96 error = ps2_read_output(); 97 assert(error == 0x55); 100 error = ps2_read_output(); 101 assert(error == 0x00); 111 error = ps2_read_output(); 112 assert(error == 0xfa);
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); local 39 while (error == seL4_DeleteFirst) { 41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); 44 if (error != seL4_NoError) { 45 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits); 46 return error; 49 error = seL4_CNode_Delete(cnode, simple_get_cap_count(simple) + i, seL4_WordBits); 50 if (error != seL4_NoError) { 51 return error;
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 173 int error = vka_cspace_alloc(&env.vka, &env.caps[pci_data[cookie].intrs]); local 174 ZF_LOGF_IF(error != 0, "Failed to allocate cslot, error %d", error); 181 error = seL4_IRQControl_GetMSI(simple_get_irq_ctrl(&env.simple), path.root, path.capPtr, path.capDepth, 184 if (error != 0) { 195 error = custom_irq_from_pci_device(&env.custom_simple, pci_data[cookie].bus, pci_data[cookie].dev, 197 ZF_LOGF_IF(error == -1, "Failed to find IRQ number\n"); 198 error = seL4_IRQControl_GetIOAPIC(simple_get_irq_ctrl(&env.simple), path.root, path.capPtr, 200 if (error ! [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 125 // no choice but to panic as there is no meaningful error we can return here 131 int error; local 133 error = hpet_set_timeout(&pc99_ltimer->hpet.device, 136 } while (error == ETIME && retries > 0); 137 if (error == ETIME) { 140 if (error != 0) { 141 ZF_LOGF("Unexpected error when reprogramming periodic timeout. Unable to continue."); 153 int UNUSED error = acknowledge_fn(ack_data); local 154 assert(!error); 156 error 237 int error = pit_set_timeout(&pc99_ltimer->pit.device, ns, type == TIMEOUT_PERIODIC); local 313 int error = ltimer_init_common(ltimer, ops, callback, callback_token); local 366 int error = ltimer_default_describe(ltimer, ops); local 383 int error = ltimer_hpet_describe(ltimer, ops, irq, region); local 394 int error = ltimer_pit_describe(ltimer, ops); local 417 int error = ltimer_pit_init_freq(ltimer, ops, 0, callback, callback_token); local 442 int error = (acpi != NULL) ? hpet_parse_acpi(acpi, &hpet_region): 1; local 503 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pc99_ltimer_t), <imer->data); local 528 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pc99_ltimer_t), <imer->data); local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 73 int error = sel4platsupport_irq_handle(irq_ops, target_ntfn, badge); local 74 if (error) { 75 if (error == -EINVAL) { 87 int error; local 92 /* The ID also serves as an error code */ 96 error = sel4platsupport_irq_set_ntfn(&(irq_server->irq_ops), ntfn_id, irq_id, NULL); 97 if (error) { 100 return error; 157 int error; local 175 error 341 int error; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 43 int error = seL4_NoError; local 56 error = vka_cspace_alloc(loader_vka, &loader_slot); 57 if (error) { 58 ZF_LOGE("Failed to allocate cslot by loader vka: %d", error); 59 return error; 65 while (pos < segment_size && error == seL4_NoError) { 94 error = vspace_new_pages_at_vaddr(loadee_vspace, loadee_vaddr, 1, seL4_PageBits, reservation); 97 if (error != seL4_NoError) { 98 ZF_LOGE("ERROR: failed to allocate frame by loadee vka: %d", error); 107 error 183 int error = load_segment(loadee_vspace, loader_vspace, loadee_vka, loader_vka, local 318 int error = cap_writes_check_move_frame(prev_rights, current_rights, &should_move); local 426 int error = read_regions(elf_file, num_regions, regions); local 467 int error = elf_reserve_regions_in_vspace(loadee, elf_file, num_regions, regions, 0); local 490 int error = elf_reserve_regions_in_vspace(loadee, elf_file, num_regions, regions, mapanywhere); local [all...] |
H A D | thread.c | 51 int error = vka_alloc_tcb(vka, &res->tcb); local 52 if (error == -1) { 94 error = api_sched_ctrl_configure(config.sched_params.sched_ctrl, res->sched_context.cptr, 98 if (error != seL4_NoError) { 108 error = api_tcb_configure(res->tcb.cptr, config.fault_endpoint, 115 if (error != seL4_NoError) { 116 ZF_LOGE("TCB configure failed with seL4 error code %d", error); 124 error = seL4_TCB_SetMCPriority(res->tcb.cptr, config.sched_params.auth, 126 if (error) { 182 int error = sel4utils_arch_init_local_context(entry_point, arg0, arg1, local 308 int error = sel4utils_configure_thread(vka, vspace, vspace, 0, cspace, local 325 int error = seL4_TCB_ReadRegisters(thread->tcb.cptr, suspend, 0, sizeof(seL4_UserContext) / sizeof(seL4_Word), local 369 int error = seL4_TCB_WriteRegisters(checkpoint->thread->tcb.cptr, resume, 0, local [all...] |
H A D | process.c | 117 int error = vka_cnode_mint(&dest, &src, rights, data); local 118 if (error != seL4_NoError) { 135 int error = vka_cnode_copy(&dest, &src, seL4_AllRights); local 136 if (error != seL4_NoError) { 161 int error = vka_cnode_move(&dest, &src); local 162 if (error != seL4_NoError) { 219 int error = sel4utils_stack_write(current_vspace, target_vspace, vka, argv[i], strlen(argv[i]) + 1, local 221 if (error) { 222 return error; 235 int error; local 277 int error; local 434 int error = seL4_ARCH_ASIDPool_Assign(get_asid_pool(asid_pool), pd); local 446 int error = vka_alloc_cnode_object(vka, size_bits, &process->cspace); local 491 int error = vka_alloc_endpoint(vka, &process->fault_endpoint); local 504 int error; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object_capops.h | 30 int error = vka_cspace_alloc_path(dest_vka, result); local 31 if (error != seL4_NoError) { 32 return error;
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | malloc.c | 37 int error = BMK_ENOMEM; local 41 error = 0; 44 return error;
|
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | mktime.c | 16 if ((time_t)t != t) goto error; 20 if (__secs_to_tm(t + new.__tm_gmtoff, &new) < 0) goto error; 25 error:
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 73 int error = callback(irq, i, total_cells, token); local 74 if (error) { 75 return error;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | omap3.c | 38 int error = callback(irq, 0, TI_OMAP3_INT_CELL_COUNT, token); local 39 if (error) { 40 return error;
|
/seL4-camkes-master/projects/musllibc/src/passwd/ |
H A D | nscd_query.c | 62 goto error; 66 goto error; 74 if (ferror(f)) goto error; 84 goto error; 100 goto error; 104 error:
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument 26 SET_ERROR(error, 1);
|
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/ |
H A D | pci.c | 40 int error = ps_io_port_in(&io_ops, port, IOSIZE_8, &result); local 41 if (error) { 53 int error = ps_io_port_in(&io_ops, port, IOSIZE_16, &result); local 54 if (error) { 66 int error = ps_io_port_in(&io_ops, port, IOSIZE_32, &result); local 67 if (error) { 78 // Ignore the error, if any 86 // Ignore the error, if any 94 // Ignore the error, if any 101 int error local [all...] |
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | sendmmsg.c | 22 if (r < 0) goto error; 25 error:
|
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | clock.c | 120 int error = ps_calloc(&tx2_clk->io_ops->malloc_ops, 1, sizeof(*ret_clk), (void **) &ret_clk); local 121 if (error) { 129 error = tx2_car_gate_enable(clock_sys, id, CLKGATE_ON); 130 if (error) { 148 error = ps_calloc(&tx2_clk->io_ops->malloc_ops, 1, sizeof(char) * clk_name_len, (void **) &clock_name); 149 if (error) { 206 int error = 0; local 210 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(tx2_clk_t), (void **) &clock_sys->priv); 211 if (error) { 213 error [all...] |
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | server_virtqueue.c | 143 int UNUSED error; local 144 error = serial_lock(); 149 error = serial_unlock(); 154 int UNUSED error; local 155 error = serial_lock(); 160 error = serial_unlock(); 166 int error = camkes_virtqueue_device_init(&read_virtqueue, 0); local 167 if (error) { 171 error = camkes_virtqueue_device_init(&write_virtqueue, 1); 172 if (error) { [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_pack.c | 25 json_error_t error; local 231 if(json_pack_ex(&error, 0, "{\n\n1")) 236 if(json_pack_ex(&error, 0, "[}")) 240 if(json_pack_ex(&error, 0, "{]")) 245 if(json_pack_ex(&error, 0, "[")) 250 if(json_pack_ex(&error, 0, "{")) 255 if(json_pack_ex(&error, 0, "[i]a", 42)) 259 if(json_pack_ex(&error, 0, "ia", 42)) 264 if(json_pack_ex(&error, 0, "s", NULL)) 269 if(json_pack_ex(&error, [all...] |