Searched refs:result (Results 1 - 25 of 126) sorted by relevance

123456

/seL4-test-master/projects/musllibc/src/thread/
H A Dthrd_exit.c6 _Noreturn void thrd_exit(int result) argument
8 __pthread_exit((void*)(intptr_t)result);
/seL4-test-master/projects/musllibc/src/unistd/
H A Dttyname.c8 int result; local
9 if ((result = ttyname_r(fd, buf, sizeof buf))) {
10 errno = result;
H A Dlseek.c8 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 Dobject.h22 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 Dadd-cfi.common.awk9 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 Dobject.h19 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 Dsmp.h17 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 Dlinear_algebra.h32 * 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 Dcspaceops.h22 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 Dobject.h19 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 Dobject.h19 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 Dobject.h41 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 Dobject_capops.h28 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 Dmalloc.c20 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 Dunimplemented.c28 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 Dunimplemented.c28 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 Dunimplemented.c29 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 Dobject.h21 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 Dobject.h21 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 Dfmaf.c42 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 Dptrace.c11 long ret, result; local
20 if (req-1U < 3) data = &result;
24 return result;
/seL4-test-master/tools/nanopb/examples/network_server/
H A Dcommon.c20 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 Dobject.h22 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 Dobject.h18 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 Dio_port_ops.c28 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...]

Completed in 157 milliseconds

123456