/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | thrd_exit.c | 6 _Noreturn void thrd_exit(int result) argument
|
/seL4-refos-master/libs/libmuslc/src/complex/ |
H A D | csqrt.c | 44 double complex result; local
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | ttyname.c | 8 int result; local
|
H A D | lseek.c | 8 off_t result; local
|
/seL4-refos-master/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-refos-master/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-refos-master/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-refos-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-refos-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-refos-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-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | util.h | 38 uint64_t result = seL4_GetMR(offset); local
|
/seL4-refos-master/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-refos-master/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-refos-master/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-refos-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-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | util.h | 38 uint64_t result = seL4_GetMR(offset); local
|
/seL4-refos-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-refos-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-refos-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-refos-master/libs/libmuslc/src/dirent/ |
H A D | readdir_r.c | 7 int readdir_r(DIR *restrict dir, struct dirent *restrict buf, struct dirent **restrict result) argument
|
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | fmaf.c | 42 double xy, result; local
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | fseek.c | 29 int result; local
|
/seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | object.h | 22 static inline int vka_alloc_vcpu(vka_t *vka, vka_object_t *result) argument 31 static inline int vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | object.h | 22 static inline int vka_alloc_vcpu(vka_t *vka, vka_object_t *result) argument 31 static inline int vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | cspaceops.h | 22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument 31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument
|