| /seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_array-put/ |
| H A D | main.c | 7 char* arr = (char*) malloc(3 * sizeof (char)); local
8 if (!arr) {
12 arr[0] = 34;
13 arr[1] = 35;
14 arr[2] = 36;
16 printf ("Initial arr: %u %u %u\n", arr[0], arr[1], arr[2]);
17 arr
[all...] |
| /seL4-camkes-master/projects/camkes/apps/alignment/common/ |
| H A D | common.h | 16 float arr[4]; member in struct:foo
24 intermediate.arr[1] += 0.5;
37 a.arr[0] = 0.1;
38 a.arr[1] = 0.2;
39 a.arr[2] = 0.3;
40 a.arr[3] = 0.4;
45 printf("Done testing alignment: %f\n", b.arr[1]);
|
| /seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
| H A D | allocpool.c | 29 pool->arr = NULL;
36 kfree(pool->arr);
37 pool->arr = NULL;
46 pool->arr = krealloc(pool->arr, sizeof(void *) * sz_pool);
48 if (pool->arr) {
49 memset(pool->arr, 0, sizeof(void *) * pool->len);
52 pool->arr[i] = kmem_cache_alloc(bilbyfs_node_slab, GFP_NOFS);
53 if (!pool->arr[i]) {
73 if (pool->arr[
[all...] |
| H A D | bilbyfs.h | 404 * @arr: array of content
409 void **arr; member in struct:alloc_pool
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/ |
| H A D | remove.hpp | 49 # define MSGPACK_PP_ARRAY_REMOVE_O_I(n, i, res, arr) (MSGPACK_PP_INC(n), i, MSGPACK_PP_IIF(MSGPACK_PP_NOT_EQUAL(n, i), MSGPACK_PP_ARRAY_PUSH_BACK, res MSGPACK_PP_TUPLE_EAT_2)(res, MSGPACK_PP_ARRAY_ELEM(n, arr)), arr)
51 # define MSGPACK_PP_ARRAY_REMOVE_O_I(n, i, res, arr) (MSGPACK_PP_INC(n), i, MSGPACK_PP_IIF(MSGPACK_PP_NOT_EQUAL(n, i), MSGPACK_PP_ARRAY_PUSH_BACK, MSGPACK_PP_TUPLE_ELEM_2_0)(res, MSGPACK_PP_ARRAY_ELEM(n, arr)), arr)
|
| H A D | insert.hpp | 45 # define MSGPACK_PP_ARRAY_INSERT_P_I(_i, _ii, _iii, res, arr) MSGPACK_PP_NOT_EQUAL(MSGPACK_PP_ARRAY_SIZE(res), MSGPACK_PP_INC(MSGPACK_PP_ARRAY_SIZE(arr)))
53 # define MSGPACK_PP_ARRAY_INSERT_O_I(n, i, elem, res, arr) (MSGPACK_PP_IIF(MSGPACK_PP_NOT_EQUAL(MSGPACK_PP_ARRAY_SIZE(res), i), MSGPACK_PP_INC(n), n), i, elem, MSGPACK_PP_ARRAY_PUSH_BACK(res, MSGPACK_PP_IIF(MSGPACK_PP_NOT_EQUAL(MSGPACK_PP_ARRAY_SIZE(res), i), MSGPACK_PP_ARRAY_ELEM(n, arr), elem)), arr)
|
| H A D | replace.hpp | 47 # define MSGPACK_PP_ARRAY_REPLACE_O_I(n, i, elem, res, arr) (MSGPACK_PP_INC(n), i, elem, MSGPACK_PP_ARRAY_PUSH_BACK(res, MSGPACK_PP_IIF(MSGPACK_PP_NOT_EQUAL(n, i), MSGPACK_PP_ARRAY_ELEM(n, arr), elem)), arr)
|
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | xenio.h | 58 unsigned long *arr; /* array of mfns - top nibble set on err */ member in struct:privcmd_mmapbatch
65 const xen_pfn_t *arr; /* array of mfns */ member in struct:privcmd_mmapbatch_v2
|
| H A D | privcmd.c | 285 minios_map_frames(pmb->addr, pmb->arr, pmb->num, 1, 0,
|
| /seL4-camkes-master/tools/cogent/c-refinement/tests/ |
| H A D | wordarraytest.c | 194 WordArray_u32* arr; member in struct:t3
828 t3 r112 = (t3) {.arr = r106.Success.p2, .idx = r109, .val = r111};
944 if (args.idx >= args.arr->len) {
946 ret.Error = args.arr;
948 args.arr->values[args.idx] = args.val;
950 ret.Success = args.arr;
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_ppp.c | 29 #define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))
|