| /seL4-camkes-master/projects/musllibc/src/thread/ |
| H A D | thrd_exit.c | 6 _Noreturn void thrd_exit(int result) argument
|
| /seL4-camkes-master/projects/camkes/apps/testrefin/ |
| H A D | client.c | 17 int result = p_echo(&x); local
|
| /seL4-camkes-master/projects/musllibc/src/complex/ |
| H A D | csqrt.c | 44 double complex result; local
|
| /seL4-camkes-master/projects/musllibc/src/unistd/ |
| H A D | ttyname.c | 8 int result; local
|
| H A D | lseek.c | 8 off_t result; local
|
| /seL4-camkes-master/projects/camkes/apps/mutex/components/B/src/ |
| H A D | main.c | 33 unsigned long long result = factorial(n); local
|
| /seL4-camkes-master/projects/camkes/apps/testdataportmuxflat/ |
| H A D | counter.c | 32 bool result = __sync_bool_compare_and_swap(value, oldval, oldval + 1); local
|
| /seL4-camkes-master/projects/camkes/apps/testdataportmux/ |
| H A D | counter.c | 32 bool result = __sync_bool_compare_and_swap(value, oldval, oldval + 1); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | object.h | 18 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
| H A D | object.h | 21 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
| H A D | camkes_init.c | 19 int result = pre_init_interface_sync(); local
24 int result = post_init_interface_sync(); local
|
| /seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/include/ |
| H A D | payload.h | 12 int result; member in struct:payload
|
| /seL4-camkes-master/projects/camkes/apps/adder/components/Client/include/ |
| H A D | payload.h | 13 int result; member in struct:payload
|
| /seL4-camkes-master/projects/camkes/apps/adder/components/Adder/include/ |
| H A D | payload.h | 13 int result; member in struct:payload
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
| H A D | simple.cpp | 30 msgpack::unpacked result; local
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | cases.cpp | 29 msgpack::unpacked result; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | bin_sem_bare.h | 28 int result = sync_atomic_decrement_safe(value, &oldval, __ATOMIC_ACQUIRE); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | util.h | 38 uint64_t result = seL4_GetMR(offset); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_page_global_directory(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_page_upper_directory(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | object.h | 19 static inline int vka_alloc_pml4(vka_t *vka, vka_object_t *result) argument
24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
| H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
| H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument
|
| /seL4-camkes-master/projects/musllibc/src/dirent/ |
| H A D | readdir_r.c | 7 int readdir_r(DIR *restrict dir, struct dirent *restrict buf, struct dirent **restrict result) argument
|