/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | err.h | 26 static inline long PTR_ERR(const void *ptr) argument 28 return (long) ptr; 31 static inline long IS_ERR(const void *ptr) argument 33 return IS_ERR_VALUE((unsigned long)ptr); 38 * @ptr: The pointer to cast. 43 static inline void * __must_check ERR_CAST(__force const void *ptr) argument 46 return (void *) ptr;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | err.h | 28 static inline long PTR_ERR(const void *ptr) argument 30 return (long) ptr; 33 static inline long IS_ERR(const void *ptr) argument 35 return IS_ERR_VALUE((unsigned long)ptr); 40 * @ptr: The pointer to cast. 45 static inline void *__must_check ERR_CAST(__force const void *ptr) argument 48 return (void *) ptr;
|
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 73 static uintptr_t pre_canary(void *ptr) argument 75 return ((uintptr_t)ptr) | PRE_EXTRA_BITS; 77 static uintptr_t post_canary(void *ptr) argument 79 return ((uintptr_t)ptr) | POST_EXTRA_BITS; 110 static void *box(void *ptr, size_t size) argument 112 if (ptr == NULL) { 113 return ptr; 116 metadata_t *pre = (metadata_t *)ptr; 117 ptr += sizeof(*pre); 118 unaligned_uintptr_t *post = ptr 142 unbox(void *ptr, void *ret_addr) argument 181 track(void *ptr) argument 200 untrack(void *ptr, void *ret_addr) argument 233 void *ptr = __real_malloc(new_size); local 239 __wrap_free(void *ptr) argument 275 void *ptr = __real_calloc(new_num, size); local 281 __wrap_realloc(void *ptr, size_t size) argument [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | atomic.h | 17 #define atomic_set(ptr, val) (*(volatile typeof(*(ptr)) *)(ptr) = val) 18 #define atomic_read(ptr) (*(volatile typeof(*(ptr)) *)(ptr)) 21 # define atomic_add(ptr, inc) __sync_fetch_and_add(ptr, inc) 22 # define atomic_or(ptr, inc) __sync_fetch_and_or(ptr, in [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | gcc_atomic.h | 16 int _msgpack_sync_decr_and_fetch(volatile _msgpack_atomic_counter_t* ptr); 17 int _msgpack_sync_incr_and_fetch(volatile _msgpack_atomic_counter_t* ptr);
|
H A D | iterator.hpp | 23 inline object_kv* begin(object_map &map) { return map.ptr; } 24 inline const object_kv* begin(const object_map &map) { return map.ptr; } 25 inline object_kv* end(object_map &map) { return map.ptr + map.size; } 26 inline const object_kv* end(const object_map &map) { return map.ptr + map.size; } 28 inline object* begin(object_array &array) { return array.ptr; } 29 inline const object* begin(const object_array &array) { return array.ptr; } 30 inline object* end(object_array &array) { return array.ptr + array.size; } 31 inline const object* end(const object_array &array) { return array.ptr + array.size; }
|
/seL4-camkes-master/projects/lwip/src/include/lwip/prot/ |
H A D | ip.h | 53 #define IP_HDR_GET_VERSION(ptr) ((*(u8_t*)(ptr)) >> 4)
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_memory_funcs.c | 31 static void my_free(void *ptr) argument 34 free(ptr); 56 void *ptr = malloc(size + 8); local 57 *((size_t *)ptr) = size; 58 return (char *)ptr + 8; 61 static void secure_free(void *ptr) argument 65 ptr = (char *)ptr - 8; 66 size = *((size_t *)ptr); 68 /*guaranteed_*/memset(ptr, [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | gcc_atomic.hpp | 20 int _msgpack_sync_decr_and_fetch(volatile _msgpack_atomic_counter_t* ptr) argument 22 return __gnu_cxx::__exchange_and_add(ptr, -1) - 1; 25 int _msgpack_sync_incr_and_fetch(volatile _msgpack_atomic_counter_t* ptr) argument 27 return __gnu_cxx::__exchange_and_add(ptr, 1) + 1;
|
/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | s_normSubnormalF128SigM.c | 43 const uint32_t *ptr; local 47 ptr = sigPtr + indexWordHi( 4 ); 50 wordSig = *ptr; 54 ptr -= wordIncr;
|
H A D | ui64_to_f128M.c | 57 uint32_t *ptr; local 67 ptr = zWPtr + indexMultiwordHi( 4, 3 ); 68 ptr[indexWord( 3, 2 )] = 0; 69 ptr[indexWord( 3, 1 )] = a>>32; 70 ptr[indexWord( 3, 0 )] = a; 71 softfloat_shortShiftLeft96M( ptr, shiftDist, ptr ); 72 ptr[indexWordHi( 3 )] = 73 packToF128UI96( 0, 0x404E - shiftDist, ptr[indexWordHi( 3 )] );
|
H A D | i64_to_f128M.c | 60 uint32_t *ptr; local 72 ptr = zWPtr + indexMultiwordHi( 4, 3 ); 73 ptr[indexWord( 3, 2 )] = 0; 74 ptr[indexWord( 3, 1 )] = absA>>32; 75 ptr[indexWord( 3, 0 )] = absA; 76 softfloat_shortShiftLeft96M( ptr, shiftDist, ptr ); 77 ptr[indexWordHi( 3 )] = 79 sign, 0x404E - shiftDist, ptr[indexWordHi( 3 )] );
|
H A D | s_normRoundPackMToF128M.c | 46 const uint32_t *ptr; local 50 ptr = extSigPtr + indexWordHi( 5 ); 53 wordSig = *ptr; 63 ptr -= wordIncr;
|
H A D | s_shiftRightJamM.c | 53 uint32_t wordJam, wordDist, *ptr = 0; local 60 ptr = (uint32_t *) (aPtr + indexMultiwordLo( size_words, wordDist )); 63 wordJam = *ptr++; 67 ptr = zPtr; 82 ptr = zPtr + indexWordLo( size_words ); 84 *ptr = *aPtr; 86 ptr += wordIncr; 89 ptr = zPtr + indexMultiwordHi( size_words, wordDist ); 92 *ptr++ = 0;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 18 assert(ptr != NULL); 19 *ptr = malloc(size); 20 if (*ptr == NULL) { 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 28 assert(ptr != NULL); 29 *ptr = calloc(nmemb, size); 30 if (*ptr == NULL) { 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument 38 free(ptr); [all...] |
H A D | services.h | 21 #define MAP_IF_NULL(op, id, ptr) \ 23 if(ptr == NULL){ \ 24 ptr = RESOURCE(op, id); \
|
/seL4-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_msp430.h | 28 void *ptr = malloc(size); local 30 if(ptr) 31 memset(ptr, 0u, size); 33 return ptr;
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4SharedData.template.c | 54 int /*? me.interface.name ?*/_wrap_ptr(dataport_ptr_t *p, void *ptr) { argument 55 if ((uintptr_t)ptr < (uintptr_t)/*? me.interface.name ?*/ || 56 (uintptr_t)ptr >= (uintptr_t)/*? me.interface.name ?*/ + /*? macros.dataport_size(me.interface.type) ?*/) { 60 p->offset = (off_t)((uintptr_t)ptr - (uintptr_t)/*? me.interface.name ?*/);
|
/seL4-camkes-master/projects/camkes/apps/testdataportptrwrap/ |
H A D | client.c | 19 dataport_ptr_t ptr = dataport_wrap_ptr((void*)x); local 20 assert(ptr.id != -1); 21 p_post(ptr);
|
H A D | server.c | 12 void p_post(dataport_ptr_t ptr) { argument 13 assert(ptr.id != -1); 14 volatile int *x = dataport_unwrap_ptr(ptr);
|
H A D | intermediary.c | 12 void p1_post(dataport_ptr_t ptr) { argument 13 assert(ptr.id != -1); 14 volatile int *x = dataport_unwrap_ptr(ptr);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dhcp_common.c | 17 struct pico_dhcp_opt *pico_dhcp_next_option(struct pico_dhcp_opt **ptr) argument 19 uint8_t **p = (uint8_t **)ptr; 20 struct pico_dhcp_opt *opt = *ptr; 27 return *ptr; 31 return *ptr; 34 uint8_t pico_dhcp_are_options_valid(void *ptr, int32_t len) argument 36 uint8_t optlen = 0, *p = ptr; 64 uint8_t pico_dhcp_opt_netmask(void *ptr, struct pico_ip4 *ip) argument 66 struct pico_dhcp_opt *opt = (struct pico_dhcp_opt *)ptr; 75 uint8_t pico_dhcp_opt_router(void *ptr, struc argument 86 pico_dhcp_opt_dns(void *ptr, struct pico_ip4 *ip) argument 97 pico_dhcp_opt_broadcast(void *ptr, struct pico_ip4 *ip) argument 108 pico_dhcp_opt_reqip(void *ptr, struct pico_ip4 *ip) argument 119 pico_dhcp_opt_leasetime(void *ptr, uint32_t time) argument 130 pico_dhcp_opt_msgtype(void *ptr, uint8_t type) argument 141 pico_dhcp_opt_serverid(void *ptr, struct pico_ip4 *ip) argument 152 pico_dhcp_opt_paramlist(void *ptr) argument 170 pico_dhcp_opt_maxmsgsize(void *ptr, uint16_t size) argument 181 pico_dhcp_opt_end(void *ptr) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | marshal_macros.h | 71 #define MARSHAL_ARRAY_PARAM(ptr, ptr_sz, buffer, size, length, method_name, \ 78 ERR_IF_BUFFER_LENGTH_EXCEEDED(size, length, (sizeof(ptr[0]) * (*ptr_sz)), \ 80 memcpy(buffer + length, ptr, (sizeof(ptr[0]) * (*ptr_sz))); \ 81 length + (sizeof(ptr[0]) * (*ptr_sz)); \ 84 #define MARSHAL_STRING_ARRAY_PARAM(ptr, ptr_sz, buffer, size, length, \ 92 size_t __strlen = strnlen(ptr[__i], size - length); \ 96 (void)strcpy(buffer + length, ptr[__i]); \ 102 #define MARSHAL_STRING_PARAM(ptr, buffer, size, length, method_name, \ 105 size_t __strlen = strnlen(ptr, siz [all...] |
H A D | allocator.h | 22 int camkes_provide(seL4_ObjectType type, seL4_CPtr ptr, size_t size, 34 void camkes_free(seL4_CPtr ptr);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 23 k_r_malloc->base.s.ptr = k_r_malloc->freep = prevp = &k_r_malloc->base; 26 for (p = prevp->s.ptr;; prevp = p, p = p->s.ptr) { 29 prevp->s.ptr = p->s.ptr; 60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr) 61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) { 65 if (bp + bp->s.size == p->s.ptr) { /* joi [all...] |