| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | process.c | 117 int error = vka_cnode_mint(&dest, &src, rights, data); local
135 int error = vka_cnode_copy(&dest, &src, seL4_AllRights); local
161 int error = vka_cnode_move(&dest, &src); local
219 int error = sel4utils_stack_write(current_vspace, target_vspace, vka, argv[i], strlen(argv[i]) + 1, local
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-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | helpers.c | 56 int error; local
71 UNUSED int error = vka_cspace_alloc(&env->vka, &slot); local
166 int error = seL4_TCB_ReadRegisters(tcb1, 0, 0, 1, ®s); local
196 UNUSED int error; local
274 UNUSED int error; local
347 UNUSED int error; local
373 UNUSED int error; local
380 UNUSED int error; local
389 int error = seL4_SchedControl_Configure(simple_get_sched_ctrl(&env->simple, affinity), local
554 int error = seL4_TCB_ReadRegisters(helper->thread.tcb.cptr, false, 0, local
573 int error = seL4_TCB_SetTimeoutEndpoint(thread->thread.tcb.cptr, tfep); local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | serial_server.c | 85 int error = 0; local
99 int error; local
121 int error; local
145 int error; local
187 int error; local
215 int error; local
300 int error; local
358 int error; local
523 int error; local
573 int error; local
612 int error; local
648 int error; local
660 int error; local
672 int error; local
684 int error; local
697 int error; local
723 int error; local
735 int error; local
747 int error; local
759 int error; local
775 int error; local
[all...] |
| H A D | faults.c | 460 int error; local
692 int error; local
908 int error = cnode_mint(env, tfep, minted_tfep, seL4_AllRights, badge); local
944 int error = api_sc_bind(server->sched_context.cptr, server->tcb.cptr); local
972 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge, local
1023 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge, local
[all...] |
| H A D | ipc.c | 286 UNUSED int error; local
573 int error = api_sc_unbind(proxies[i].thread.sched_context.cptr); local
590 int error = api_sc_unbind(server.thread.sched_context.cptr); local
693 int error = api_sc_unbind(server.thread.sched_context.cptr); local
755 int error local
819 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, 9); local
872 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, 9); local
913 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, 9); local
961 int error = vspace_new_pages_at_vaddr(vspace, addr, 1, seL4_PageBits, *res); local
988 int error = api_sc_unbind(handler.thread.sched_context.cptr); local
1061 int error = api_sc_unbind(servers[i].thread.sched_context.cptr); local
1088 int error = api_sc_unbind(stack_spawner.thread.sched_context.cptr); local
1166 int error = api_sc_unbind(server.thread.sched_context.cptr); local
1213 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, 10); local
1266 int error = create_passive_thread(env, &server, (helper_fn_t) replywait_func, ep, 0, server.thread.reply.cptr, 0); local
1351 int error = api_sc_unbind(get_helper_sched_context(&server)); local
[all...] |
| H A D | scheduler.c | 111 int error = seL4_TCB_Resume(env->tcb); local
136 int error = seL4_TCB_Suspend(t2b); local
176 int error = seL4_TCB_Resume(t2b); local
335 int error = seL4_TCB_SetPriority(t1, t1, SCHED0005_HIGHEST_PRIO - 4); local
367 int error = seL4_TCB_SetPriority(t1, t2, SCHED0005_HIGHEST_PRIO - 1 + PRIORITY_FUDGE); local
760 int error; local
957 int error = sel4utils_configure_thread_config(&env->vka, &env->vspace, &env->vspace, local
1054 int error; local
1085 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, env->priority - 1); local
1122 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, env->priority - 1); local
1188 int error; local
1249 int error = 0; local
1335 int error; local
1420 int error; local
1461 int error = seL4_TCB_SetPriority(env->tcb, env->tcb, OUR_PRIO - 1); local
1642 seL4_Error error = api_sched_ctrl_configure(simple_get_sched_ctrl(&env->simple, 1), local
1666 int error; local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | i2c.c | 107 int error = 0xffff; local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 520 int error = _ttc_set_freq_for_ns(ttc, ns, &interval); local
588 int error = ps_fdt_read_path(&ttc->io_ops.io_fdt, &ttc->io_ops.malloc_ops, device_path, &cookie); local
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 317 int error = acknowledge_fn(ack_data); local
528 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **) ð_driver); local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 380 int error; local
397 int error; local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | i2c.h | 556 int UNUSED error = ack(ack_data); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | mux.c | 515 int error; local
625 int error; local
|
| H A D | gpio.c | 413 int error; local
[all...] |
| H A D | i2c.c | 1091 int error; local
1150 int error; local
1363 int error; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | main.c | 90 int error; local
183 int error; local
331 int error = regcomp(®, CONFIG_TESTPRINTER_REGEX, REG_EXTENDED | REG_NOSUB); local
428 int error; local
554 int error; local
607 int error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 240 int error = vka_cspace_alloc_path(irq_cookie->vka, &mint_path); local
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-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 90 int error; local
138 int error; local
156 int error; local
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...] |
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 88 uint8_t error; local
126 uint8_t error; local
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | intel.c | 1008 int error = acknowledge_fn(ack_data); local
|
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 574 syscall_error_t error; local
703 syscall_error_t error; local
730 syscall_error_t error; local
[all...] |
| /seL4-test-master/projects/musllibc/ldso/ |
| H A D | dynlink.c | 1922 static void error(const char *fmt, ...) function
[all...] |