| /seL4-test-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | condition_var.h | 71 int error = sync_bin_sem_post(lock); local
155 int error = sync_bin_sem_post(lock); local
178 int error = vka_alloc_notification(vka, &(cv->notification)); local
[all...] |
| H A D | bin_sem.h | 97 int error = vka_alloc_notification(vka, &(sem->notification)); local
|
| H A D | sem.h | 100 int error = vka_alloc_endpoint(vka, &(sem->ep)); local
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | fixed_pool.c | 44 void *_mspace_fixed_pool_alloc(struct allocman *alloc, void *_fixed_pool, size_t bytes, int *error) argument
|
| H A D | vspace_pool.c | 31 int error; local
54 void *_mspace_vspace_pool_alloc(struct allocman *alloc, void *_vspace_pool, size_t bytes, int *error) argument
|
| H A D | virtual_pool.c | 30 int error; local
90 int error; local
113 _mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
| H A D | io_port_ops.c | 33 int error; local
81 int error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | test.c | 36 int error; local
50 int error; local
74 int error; local
100 int error; local
127 int error; local
179 int error; local
207 int error; local
231 int error; local
268 int error; local
296 int error; local
[all...] |
| H A D | clientapi.c | 44 seL4_Error error; local
[all...] |
| H A D | parentapi.c | 33 seL4_Error error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4test/src/ |
| H A D | testutil.c | 74 void _sel4test_report_error(const char *error, const char *file, int line) argument
|
| /seL4-test-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
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | breakpoints.c | 149 int error; local
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | domains.cxx | 36 int error; local
46 int error; local
56 int error; local
83 UNUSED int error; local
[all...] |
| H A D | nbwait.c | 38 int error; local
[all...] |
| H A D | cnodeops.c | 30 int error; local
69 int error; local
91 int error; local
120 int error; local
153 int error; local
187 int error; local
209 int error; local
231 int error; local
290 int error; local
[all...] |
| H A D | sync.c | 55 int error; local
111 int error; local
202 int error; local
282 int error; local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/ |
| H A D | tqueue.c | 192 int error = ps_calloc(mops, size, sizeof(tqueue_node_t), (void **) &tq->array); local
|
| /seL4-test-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
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | ltimer.c | 49 int error = get_time(data, &time); local
87 int error; local
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | ltimer.c | 49 int error = get_time(data, &time); local
83 int error; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
| H A D | smmu.c | 31 int error; local
45 int error; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | vka.h | 31 static inline seL4_Word _utspace_vka_alloc(struct allocman *alloc, void *_vka, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 41 int error; local
64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 34 int error; local
93 int error; local
136 int error; local
206 int error; local
[all...] |