/seL4-test-master/projects/musllibc/src/thread/ |
H A D | thrd_exit.c | 6 _Noreturn void thrd_exit(int result) argument 8 __pthread_exit((void*)(intptr_t)result);
|
/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | ttyname.c | 8 int result; local 9 if ((result = ttyname_r(fd, buf, sizeof buf))) { 10 errno = result;
|
H A D | lseek.c | 8 off_t result; local 9 return syscall(SYS__llseek, fd, offset>>32, offset, &result, whence) ? -1 : result;
|
/seL4-test-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | object.h | 22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) argument 24 return vka_alloc_object(vka, seL4_X86_VCPUObject, seL4_X86_VCPUBits, result); 27 static inline int vka_alloc_ept_page_directory_pointer_table (vka_t *vka, vka_object_t *result) argument 29 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result); 32 static inline int vka_alloc_ept_page_directory (vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_object(vka, seL4_X86_EPTPDObject, seL4_X86_EPTPDBits, result); 37 static inline int vka_alloc_ept_page_table (vka_t *vka, vka_object_t *result) argument 39 return vka_alloc_object(vka, seL4_X86_EPTPTObject, seL4_X86_EPTPTBits, result); 41 static inline int vka_alloc_ept_pdpt(vka_t *vka, vka_object_t *result) argument 43 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result); 45 vka_alloc_ept_pml4(vka_t *vka, vka_object_t *result) argument 51 vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument [all...] |
/seL4-test-master/projects/musllibc/tools/ |
H A D | add-cfi.common.awk | 9 result = 0 11 result = result * 16 13 result = result + lookup[char] 15 return result
|
/seL4-test-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 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PML4, 0), seL4_PML4Bits, result); 24 static inline int vka_alloc_pdpt(vka_t *vka, vka_object_t *result) argument 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 34 return vka_alloc_pml4(vka, result);
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 17 void *result; local 18 asm("movl %[stack_address], %[result]" : [result] "=r"(result) : [stack_address] "r"(&stack)); 19 return result;
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | linear_algebra.h | 32 * static inline void vector_2d_int_add(vector_2d_int_t *a, vector_2d_int_t *b, vector_2d_int_t *result) { 33 * result->x = a->x + b->x; 34 * result->y = a->y + b->y; 36 * static inline void vector_2d_int_subtract(vector_2d_int_t *a, vector_2d_int_t *b, vector_2d_int_t *result) { 49 static inline void name##_add(name##_t *a, name##_t *b, name##_t *result) {\ 50 result->x = a->x + b->x;\ 51 result->y = a->y + b->y;\ 53 static inline void name##_subtract(name##_t *a, name##_t *b, name##_t *result) {\ 54 result->x = a->x - b->x;\ 55 result [all...] |
/seL4-test-master/projects/seL4_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 24 error = allocman_cspace_alloc(alloc, result); 28 return vka_cnode_move(result, &src) != seL4_NoError; 31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument 32 return cspace_move_alloc(alloc, source_cspace.make_path(source_cspace.cspace, slot), result);
|
/seL4-test-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 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result); 39 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 42 return vka_alloc_pdpt(vka, result); 44 return vka_alloc_page_directory(vka, result);
|
/seL4-test-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 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_GLOBAL_DIRECTORY, 0), seL4_PGDBits, result); 24 static inline int vka_alloc_page_upper_directory(vka_t *vka, vka_object_t *result) argument 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_UPPER_DIRECTORY, 0), seL4_PUDBits, result); 32 static inline int vka_alloc_vspace_root(vka_t *vka, vka_object_t *result) argument 35 return vka_alloc_page_upper_directory(vka, result); 37 return vka_alloc_page_global_directory(vka, result);
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object.h | 41 bool can_use_dev, vka_object_t *result) 45 result->cptr = 0; 50 error = vka_cspace_alloc(vka, &result->cptr); 52 result->cptr = 0; 58 vka_cspace_make_path(vka, result->cptr, &path); 61 error = vka_utspace_alloc_maybe_device(vka, &path, type, size_bits, can_use_dev, &result->ut); 68 error = vka_utspace_alloc_at(vka, &path, type, size_bits, paddr, &result->ut); 76 result->type = type; 77 result->size_bits = size_bits; 81 if (result 40 vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, bool can_use_dev, vka_object_t *result) argument 89 vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, vka_object_t *result) argument 94 vka_alloc_object(vka_t *vka, seL4_Word type, seL4_Word size_bits, vka_object_t *result) argument 104 vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, size_bits = 0}; local 131 vka_alloc_untyped(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument 136 vka_alloc_untyped_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument 142 vka_alloc_tcb(vka_t *vka, vka_object_t *result) argument 147 vka_alloc_sched_context(UNUSED vka_t *vka, UNUSED vka_object_t *result) argument 157 vka_alloc_sched_context_size(UNUSED vka_t *vka, UNUSED vka_object_t *result, UNUSED uint32_t size_bits) argument 172 vka_alloc_endpoint(vka_t *vka, vka_object_t *result) argument 177 vka_alloc_notification(vka_t *vka, vka_object_t *result) argument 184 vka_alloc_async_endpoint(vka_t *vka, vka_object_t *result) argument 189 vka_alloc_reply(UNUSED vka_t *vka, vka_object_t *result) argument 200 vka_alloc_cnode_object(vka_t *vka, uint32_t slot_bits, vka_object_t *result) argument 206 vka_alloc_frame(vka_t *vka, uint32_t size_bits, vka_object_t *result) argument 212 vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result) argument 218 vka_alloc_frame_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr, vka_object_t *result) argument 225 vka_alloc_page_directory(vka_t *vka, vka_object_t *result) argument 230 vka_alloc_page_table(vka_t *vka, vka_object_t *result) argument 237 vka_alloc_kernel_image(vka_t *vka, vka_object_t *result) argument 245 vka_alloc_kobject(vka_t *vka, kobject_t type, seL4_Word size_bits, vka_object_t *result) argument [all...] |
H A D | object_capops.h | 28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument 30 int error = vka_cspace_alloc_path(dest_vka, result); 37 return vka_cnode_mint(result, &src, rights, badge); 50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument 53 return vka_mint_object_inter_cspace(vka, object, vka, result, rights, badge);
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | malloc.c | 20 void *result = malloc(bytes); local 21 SET_ERROR(error, result == NULL ? 1 : 0); 22 return result;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | unimplemented.c | 28 unsigned long result = 0; local 47 result = result*base + value; 54 return result;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | unimplemented.c | 28 unsigned long result = 0; local 47 result = result*base + value; 54 return result;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | unimplemented.c | 29 unsigned long result = 0; local 50 result = result * base + value; 58 return result;
|
/seL4-test-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 23 return vka_alloc_page_directory(vka, result);
|
/seL4-test-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 23 return vka_alloc_page_directory(vka, result);
|
/seL4-test-master/projects/musllibc/src/math/ |
H A D | fmaf.c | 42 double xy, result; local 47 result = xy + z; 48 u.f = result; 50 /* Common case: The double precision result is fine. */ 53 result - xy == z || /* exact */ 65 result = xy + vz; 72 z = result; 77 * If result is inexact, and exactly halfway between two float values, 86 if (result == adjusted_result) {
|
/seL4-test-master/projects/musllibc/src/linux/ |
H A D | ptrace.c | 11 long ret, result; local 20 if (req-1U < 3) data = &result; 24 return result;
|
/seL4-test-master/tools/nanopb/examples/network_server/ |
H A D | common.c | 20 int result; local 22 result = recv(fd, buf, count, MSG_WAITALL); 24 if (result == 0) 27 return result == count;
|
/seL4-test-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 24 return vka_alloc_object(vka, seL4_ARM_VCPUObject, seL4_ARM_VCPUBits, result); 31 static inline int vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument 33 return vka_alloc_object(vka, seL4_ARM_IOPageTableObject, seL4_IOPageTableBits, result);
|
/seL4-test-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 20 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result) argument 48 *result = x.result; 54 *result = x.result; 60 *result = x.result; 93 int result; local 96 result = seL4_X86_IOPort_Out8(path.capPtr, port, val); 99 result [all...] |