/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/repetition/ |
H A D | enum_binary_params.hpp | 25 # define MSGPACK_PP_ENUM_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_REPEAT(count, MSGPACK_PP_ENUM_BINARY_PARAMS_M, (p1, p2)) 27 # define MSGPACK_PP_ENUM_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_ENUM_BINARY_PARAMS_I(count, p1, p2) 28 # define MSGPACK_PP_ENUM_BINARY_PARAMS_I(count, p1, p2) MSGPACK_PP_REPEAT(count, MSGPACK_PP_ENUM_BINARY_PARAMS_M, (p1, p2)) 39 # define MSGPACK_PP_ENUM_BINARY_PARAMS_M_I(z, n, p1, p2) MSGPACK_PP_ENUM_BINARY_PARAMS_M_II(z, n, p1, p2) 40 # define MSGPACK_PP_ENUM_BINARY_PARAMS_M_II(z, n, p1, p2) MSGPACK_PP_COMMA_IF(n) p1 ## n p2 ## [all...] |
H A D | enum_trailing_binary_params.hpp | 24 # define MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_REPEAT(count, MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_M, (p1, p2)) 26 # define MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_I(count, p1, p2) 27 # define MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_I(count, p1, p2) MSGPACK_PP_REPEAT(count, MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_M, (p1, p2)) 38 # define MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_M_I(z, n, p1, p2) MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_M_II(z, n, p1, p2) 39 # define MSGPACK_PP_ENUM_TRAILING_BINARY_PARAMS_M_II(z, n, p1, p2) , p1 ## n p2 ## [all...] |
H A D | enum_shifted_binary_params.hpp | 27 # define MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_REPEAT(MSGPACK_PP_DEC(count), MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_M, (p1, p2)) 29 # define MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS(count, p1, p2) MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_I(count, p1, p2) 30 # define MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_I(count, p1, p2) MSGPACK_PP_REPEAT(MSGPACK_PP_DEC(count), MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_M, (p1, p2)) 40 # define MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_M_I(z, n, p1, p2) MSGPACK_PP_COMMA_IF(n) MSGPACK_PP_CAT(p1, MSGPACK_PP_INC(n)) MSGPACK_PP_CAT(p2, MSGPACK_PP_INC(n)) 45 # define MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_Z(z, count, p1, p2) MSGPACK_PP_REPEAT_ ## z(MSGPACK_PP_DEC(count), MSGPACK_PP_ENUM_SHIFTED_BINARY_PARAMS_M, (p1, p2)) [all...] |
/seL4-camkes-master/projects/camkes/apps/adder/components/Adder/src/ |
H A D | adder.c | 13 struct payload *p1, *p2; local 15 p2 = (struct payload*)((void*)d + 2048); 17 p2->result = 0; 20 p2->result += p1->operands[i]; 22 return dataport_wrap_ptr((void*)p2);
|
/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | pass_very-simple-split.c | 16 u16 r3 = a1.p2;
|
H A D | fun2.c | 18 t1 r5 = (t1) {.p1 = r3, .p2 = r4}; 29 u32 r7 = r5.p2;
|
H A D | pass_simple-tuple.c | 20 t3 r4 = {.p1 =r2, .p2 =r2};
|
H A D | pass_simple-tuple.h | 22 u32 p2; member in struct:t3
|
H A D | pass_middle-size-example.h | 45 bool_t p2; member in struct:t3 50 t1* p2; member in struct:t4
|
H A D | pass_very-simple-split.h | 35 u16 p2; member in struct:t1
|
H A D | pass_middle-size-example.c | 16 bool_t r3 = a1.p2; 36 r5 = (t4) {.p1 = r7, .p2 = r13, .p3 = r4, .p4 = r9}; 67 r5 = (t4) {.p1 = r23, .p2 = r29, .p3 = r4, .p4 = r25};
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/ |
H A D | wip_anti-dispatch.c | 14 ret = (($spec:(A -> A))x.p1) (x.p2);
|
/seL4-camkes-master/projects/camkes/apps/cs-nodonate/components/Client/src/ |
H A D | client.c | 15 int p, p1, p2; local 38 p2 = i_echo_parameter(p, &p1); 39 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/cs-donate/components/Client/src/ |
H A D | client.c | 15 int p, p1, p2; local 38 p2 = i_echo_parameter(p, &p1); 39 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/mcs-donate/components/Client/src/ |
H A D | client.c | 15 int p, p1, p2; local 38 p2 = i_echo_parameter(p, &p1); 39 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/mcs-nodonate/components/Client/src/ |
H A D | client.c | 15 int p, p1, p2; local 38 p2 = i_echo_parameter(p, &p1); 39 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/simplesingleaddressspace/components/Client/src/ |
H A D | client.c | 16 int p, p1, p2; local 48 p2 = a_echo_parameter(p, &p1); 49 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/simple/components/Client/src/ |
H A D | client.c | 16 int p, p1, p2; local 44 p2 = a_echo_parameter(p, &p1); 45 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/testunderscorename/components/Client/src/ |
H A D | client.c | 16 int p, p1, p2; local 44 p2 = _fault_handler_echo_parameter(p, &p1); 45 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/cms-donate/components/Client/src/ |
H A D | client.c | 15 int p, p1, p2; local 39 p2 = i_echo_parameter(p, &p1); 40 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/camkes/apps/testcontrolname/components/Client/src/ |
H A D | client.c | 16 int p, p1, p2; local 44 p2 = _control_echo_parameter(p, &p1); 45 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
H A D | fsm_wrapper_pp_inferred.c | 80 WordArray_u32 *p2; member in struct:t1 90 WordArray_u8 *p2; member in struct:t2 104 Rbt_u64_ut3 *p2; member in struct:t4 115 u32 p2; member in struct:t6 243 t19 *p2; member in struct:t21 249 t20 *p2; member in struct:t22 260 t23 p2; member in struct:t24 362 t19 *r3 = a1.p2; 376 t6 r8 = (t6) {.p1 = r2, .p2 = r5}; 388 t22 r12 = (t22) {.p1 = r11, .p2 [all...] |
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal_manual.c | 25 char *p2; member in struct:get_block_ret 53 Stuff_t *p2; member in struct:findStuff_ret 60 char *blk = ret_block.p2; 69 return (findStuff_ret_t){ .p1 = sys, .p2 = stuff_ptr(e) }; 72 return (findStuff_ret_t){ .p1 = sys, .p2 = NULL}; 89 return (get_block_ret_t){ .p1 = args, .p2 = block }; 151 if (ret.p2) { 152 printf("Wombat's b is %d.\n", ret.p2->b);
|
/seL4-camkes-master/projects/camkes/apps/debug-simple/ |
H A D | client.c | 19 int p, p1, p2; local 50 p2 = a_echo_parameter(p, &p1); 51 printf("echo_parameter: %d -> %d (returned = %d)\n", p, p1, p2);
|
/seL4-camkes-master/projects/lwip/test/unit/core/ |
H A D | test_pbuf.c | 76 struct pbuf *p1, *p2, *p3; local 87 p2 = pbuf_alloc(PBUF_RAW, 2, PBUF_POOL); 88 fail_unless(p2 != NULL); 89 fail_unless(p2->ref == 1); 90 p2->len = p2->tot_len = 0; 92 pbuf_cat(p1, p2); 94 fail_unless(p2->ref == 1); 125 struct pbuf *p1, *p2, *p3, *rest2=NULL, *rest3=NULL; local 140 p2 [all...] |