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

12345678910

/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_ffi-gen/
H A DBUILD5 result=0
7 result=1
9 make clean && exit $result
/seL4-camkes-master/projects/camkes/apps/testsel4notification/
H A Dclient.c18 int result UNUSED = e_poll();
19 assert(result == 0);
28 result = e_poll();
29 assert(result == 0);
36 result = e_poll();
37 assert(result == 1);
40 result = e_poll();
41 assert(result == 0);
50 result = e_poll();
51 assert(result
[all...]
/seL4-camkes-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-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dtest_dump.c40 char *result; local
43 result = json_dumps(json, 0);
44 if(!result || strcmp(result, "{}"))
46 free(result);
49 result = json_dumps(json, 0);
50 if(!result || strcmp(result, "{\"foo\": 5}"))
52 free(result);
57 result
82 char *result; local
128 char *result; local
164 char *result; local
186 char *result; local
[all...]
/seL4-camkes-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-camkes-master/projects/camkes-tool/libcamkescakeml/src/
H A Dcamkes_init.c19 int result = pre_init_interface_sync(); local
20 *a = (unsigned char)result;
24 int result = post_init_interface_sync(); local
25 *a = (unsigned char)result;
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/include/
H A Dpayload.h12 int result; member in struct:payload
/seL4-camkes-master/projects/camkes/apps/adder/components/Client/include/
H A Dpayload.h13 int result; member in struct:payload
/seL4-camkes-master/projects/camkes/apps/adder/components/Adder/include/
H A Dpayload.h13 int result; member in struct:payload
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/client_include/
H A Dpicoserver_peer.h16 int result; member in struct:picoserver_peer
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4NotificationQueue-to.template.c47 int result = sync_bin_sem_bare_wait(/*? lock ?*/, &lock_count); local
49 return result;
63 int result UNUSED = sync_sem_bare_wait(/*? ep ?*/, value);
64 ERR_IF(result != 0, /*? error_handler ?*/, ((camkes_error_t){
95 int result UNUSED = unlock();
96 assert(result == 0);
102 result = unlock();
103 assert(result == 0);
147 int result UNUSED = unlock();
148 assert(result
[all...]
H A DseL4Notification-to.template.c59 int result = sync_bin_sem_bare_wait(/*? lock ?*/, &lock_count); local
61 return result;
102 int result UNUSED = unlock();
103 assert(result == 0);
157 int result UNUSED = unlock();
158 assert(result == 0);
164 int result UNUSED = unlock();
165 assert(result == 0);
172 int result UNUSED = unlock();
173 assert(result
[all...]
H A DseL4NotificationQueue-from.template.c40 int result UNUSED;
42 result = sync_sem_bare_post(/*? ep ?*/, counter_/*? index ?*/);
43 ERR_IF(result != 0, /*? error_handler ?*/, ((camkes_error_t){
/seL4-camkes-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...]
/seL4-camkes-master/projects/camkes/apps/mutex/templates/
H A DseL4MyConnector-to.c30 int result = sync_mutex_init(&mutex, /*? notification ?*/); local
31 assert(result == 0);
43 int result UNUSED = sync_mutex_lock(&mutex);
44 assert(result == 0);
46 int result UNUSED = sync_mutex_unlock(&mutex);
47 assert(result == 0);
/seL4-camkes-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;

Completed in 130 milliseconds

12345678910