| /seL4-test-master/projects/musllibc/src/thread/ |
| H A D | sem_init.c | 5 int sem_init(sem_t *sem, int pshared, unsigned value) argument
|
| /seL4-test-master/projects/musllibc/src/signal/ |
| H A D | sigqueue.c | 7 int sigqueue(pid_t pid, int sig, const union sigval value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | bin_sem_bare.h | 26 static inline int sync_bin_sem_bare_wait(seL4_CPtr notification, volatile int *value) { argument
43 static inline int sync_bin_sem_bare_post(seL4_CPtr notification, volatile int *value) { argument
|
| H A D | sem-bare.h | 31 static inline int sync_sem_bare_wait(seL4_CPtr ep, volatile int *value) argument
67 static inline int sync_sem_bare_trywait(UNUSED seL4_CPtr ep, volatile int *value) argument
82 static inline int sync_sem_bare_post(seL4_CPtr ep, volatile int *value) argument
[all...] |
| H A D | bin_sem.h | 28 volatile int value; member in struct:__anon1
36 static inline int sync_bin_sem_init(sync_bin_sem_t *sem, seL4_CPtr notification, int value) argument
87 sync_bin_sem_new(vka_t *vka, sync_bin_sem_t *sem, int value) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | util.h | 53 static inline void sel4utils_64_set_mr(seL4_Word offset, uint64_t value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/ |
| H A D | util.h | 20 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
35 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/ |
| H A D | util.h | 22 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/musllibc/src/env/ |
| H A D | setenv.c | 7 int setenv(const char *var, const char *value, int overwrite) argument
|
| /seL4-test-master/projects/musllibc/src/linux/ |
| H A D | eventfd.c | 15 int eventfd_read(int fd, eventfd_t *value) argument
20 int eventfd_write(int fd, eventfd_t value) argument
|
| /seL4-test-master/tools/nanopb/tests/regression/issue_242/ |
| H A D | zero_value.c | 15 int32_t value = 0; local
37 int32_t value = 0; local
|
| /seL4-test-master/projects/musllibc/src/unistd/ |
| H A D | ualarm.c | 5 unsigned ualarm(unsigned value, unsigned interval) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | util.h | 30 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
48 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
| H A D | util.h | 28 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
46 sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument
28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | unimplemented.c | 29 unsigned long value; local
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | unimplemented.c | 29 unsigned long value; local
|
| /seL4-test-master/projects/util_libs/libutils/arch_include/arm/utils/arch/ |
| H A D | io.h | 26 uintptr_t value; local
|
| /seL4-test-master/tools/nanopb/examples/using_double_on_avr/ |
| H A D | double_conversion.c | 16 uint64_t float_to_double(float value) argument
62 float double_to_float(uint64_t value) argument
[all...] |
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
| H A D | unimplemented.c | 30 unsigned long value; local
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | cpu_registers.h | 48 static inline void write_cr4(unsigned long value) argument
|
| /seL4-test-master/tools/nanopb/tests/callbacks/ |
| H A D | decode_callbacks.c | 30 uint64_t value; local
40 uint32_t value; local
50 uint64_t value; local
|
| H A D | encode_callbacks.c | 29 uint32_t value = 42; local
39 uint64_t value = 42; local
|