| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | main.c | 91 UNUSED int error; local
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | testtypes.c | 156 int error = tm_update(&env->tm); local
193 int error; local
267 int error; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | iopt.c | 48 int error = seL4_NoError; local
70 int error; local
96 int error; local
110 int error; local
143 int error; local
162 int error; local
190 int error; local
210 int error; local
245 int error; local
266 int error = map_iopt_from_iospace(env, iospace, iopt_cptr, frame); local
280 int error; local
298 int error; local
331 int error; local
356 int error; local
389 int error; local
[all...] |
| H A D | schedcontext.c | 23 int error; local
74 int error; local
115 int error = api_sc_bind(sched_context, endpoint); local
233 int error = api_sc_unbind(one.thread.sched_context.cptr); local
285 int error; local
363 int error = create_passive_thread(env, &server, (helper_fn_t) sched_context0008_server_fn, local
425 int error; local
502 int error = api_sc_unbind_object(client.thread.sched_context.cptr, server.thread.tcb.cptr); local
540 int error; local
589 int error; local
640 int error; local
[all...] |
| H A D | frames.c | 246 int error; local
282 int error; local
[all...] |
| /seL4-test-master/projects/util_libs/libutils/src/ |
| H A D | cbor64.c | 198 int error; member in struct:__anon9
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
| H A D | guest_vspace.c | 38 int error; local
94 int error; local
153 int error = sel4utils_get_empty_vspace(loader, &guest_iospace->iospace_vspace, &guest_iospace->iospace_vspace_data, local
166 int error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 391 int error; local
|
| /seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 164 int error = vspace_new_pages_at_vaddr(muslc_this_vspace, (void *) brk_start, 1, local
273 int error; local
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 96 int error; local
135 int error; local
[all...] |
| H A D | io.c | 161 int error = vka_cspace_alloc(vka, &mapping->caps[i]); local
295 int error = ps_calloc(malloc_ops, 1, block_size, &io_fdt->cookie); local
334 int error local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | server.c | 229 seL4_Error error; local
450 UNUSED seL4_Error error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 141 seL4_Error error = vka_cspace_alloc(delegate, &object->cptr); local
212 int error = vka_alloc_untyped(delegate, total_size_bits, &data->untyped); local
|
| H A D | thread.c | 51 int error = vka_alloc_tcb(vka, &res->tcb); local
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...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 128 int error; local
179 int error; local
238 int error; local
324 int error = clear_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, only_reserved); local
[all...] |
| H A D | mcs_api.h | 108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata); local
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object.h | 43 int error = -1; local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | ltimer.h | 294 int error = ltimer_get_time(timer, &start); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | ltimer.c | 189 int error = ltimer_default_describe(ltimer, ops); local
[all...] |
| /seL4-test-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
194 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(hifive_timers_t), <imer->data); local
227 int error = ltimer_default_describe(ltimer, ops); local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | acpi.c | 356 int error = acpi_parse_tables(acpi); local
402 int error = acpi_parse_tables(acpi); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | i2c.c | 391 int error = ps_malloc(&io_ops->malloc_ops, sizeof(omap4_i2c_dev_t), (void **) &dev); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
| H A D | epit.c | 236 int error = ps_fdt_read_path(&epit->io_ops.io_fdt, &epit->io_ops.malloc_ops, config.device_path, &cookie); local
|
| /seL4-test-master/kernel/tools/ |
| H A D | lex.py | 105 def error(self, msg, *args, **kwargs): member in class:PlyLogger
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 293 int error; local
316 int error; local
375 int error; local
[all...] |