/seL4-camkes-master/tools/cogent/cogent/tests/tests/flags/pass_flags_ffi-gen/ |
H A D | BUILD | 5 result=0 7 result=1 9 make clean && exit $result
|
/seL4-camkes-master/projects/camkes/apps/testsel4notification/ |
H A D | client.c | 18 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 D | thrd_exit.c | 6 _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 D | test_dump.c | 40 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 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-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
H A D | camkes_init.c | 19 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 D | payload.h | 12 int result; member in struct:payload
|
/seL4-camkes-master/projects/camkes/apps/adder/components/Client/include/ |
H A D | payload.h | 13 int result; member in struct:payload
|
/seL4-camkes-master/projects/camkes/apps/adder/components/Adder/include/ |
H A D | payload.h | 13 int result; member in struct:payload
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/client_include/ |
H A D | picoserver_peer.h | 16 int result; member in struct:picoserver_peer
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4NotificationQueue-to.template.c | 47 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 D | seL4Notification-to.template.c | 59 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 D | seL4NotificationQueue-from.template.c | 40 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 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...] |
/seL4-camkes-master/projects/camkes/apps/mutex/templates/ |
H A D | seL4MyConnector-to.c | 30 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 D | malloc.c | 20 void *result = malloc(bytes); local 21 SET_ERROR(error, result == NULL ? 1 : 0); 22 return result;
|