/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | difftime.c | 3 double difftime(time_t t1, time_t t0) argument 5 return t1-t0;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_tuple.cpp | 7 msgpack::type::tuple<int, bool, std::string> t1(42, true, "ABC"); 8 EXPECT_EQ(42, t1.get<0>()); 9 EXPECT_EQ(true, t1.get<1>()); 10 EXPECT_EQ("ABC", t1.get<2>()); 11 t1.get<0>() = 40; 12 t1.get<1>() = false; 13 t1.get<2>() = "DEFG"; 14 EXPECT_EQ(40, t1.get<0>()); 15 EXPECT_EQ(false, t1.get<1>()); 16 EXPECT_EQ("DEFG", t1 50 msgpack::type::tuple<int, bool, std::string> t1 = msgpack::type::make_tuple(42, true, "ABC"); local 64 msgpack::type::tuple<int, bool, std::string> t1 = std::make_tuple(42, true, "ABC"); local 83 msgpack::type::tuple<int> t1 = msgpack::type::make_tuple(42); local 93 msgpack::type::tuple<int, bool, std::string> t1 = msgpack::type::make_tuple(42, true, "ABC"); local [all...] |
/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | pass_very-simple-split.h | 33 struct t1 { struct 37 typedef struct t1 t1; typedef in typeref:struct:t1 38 static inline u32 foo(t1); 39 static inline u32 dispatch_t2(untyped_func_enum a2, t1 a3) 43 typedef t1 foo_arg;
|
H A D | pass_simple-take-letput.h | 45 struct t1 { struct 49 typedef struct t1 t1; typedef in typeref:struct:t1 55 static inline t1* foobar(t1*); 57 static inline t1* dispatch_t3(untyped_func_enum a2, t1* a3) 67 typedef t1* foobar_arg; 68 typedef t1* foobar_ret;
|
H A D | fun2.h | 26 struct t1 { struct 30 typedef struct t1 t1; typedef in typeref:struct:t1 31 static inline t1 foo(u16); 33 static inline t1 dispatch_t2(untyped_func_enum a9, u16 a10) 44 typedef t1 foo_ret;
|
H A D | pass_simple-take-letput.c | 17 static inline t1* foobar(t1* a1) 19 t1* r2 = a1; 21 t1* r4 = r2; 25 t1* r5 = r4; 26 t1* r6 = r5;
|
H A D | pass_simple-case3.h | 30 struct t1 { struct 36 typedef struct t1 t1; typedef in typeref:struct:t1 48 static inline u8 foo(t1); 49 static inline u8 dispatch_t4(untyped_func_enum a8, t1 a9) 53 typedef t1 foo_arg;
|
H A D | fun2.c | 13 static inline t1 foo(u16 a1) 18 t1 r5 = (t1) {.p1 = r3, .p2 = r4}; 27 t1 r5 = foo(r4);
|
H A D | pass_middle-size-example.h | 33 struct t1 { struct 37 typedef struct t1 t1; typedef in typeref:struct:t1 39 t1* a; 50 t1* p2;
|
H A D | pass_middle-size-example.c | 26 t1* r8 = (*r7).a; 30 t1* r12 = r8; 34 t1* r13 = r12; 44 t1* r17 = (*r16).a; 47 t1* r20 = r17; 51 t1* r21 = r20; 57 t1* r24 = (*r23).a; 61 t1* r28 = r24; 65 t1* r29 = r28;
|
H A D | fun_dsl.h | 27 typedef untyped_func_enum t1; typedef 28 static inline t1 abs(unit_t); 32 static inline t1 dispatch_t2(untyped_func_enum a5, unit_t a6) 53 typedef t1 abs_ret;
|
H A D | pass_very-simple-split.c | 13 static inline u32 foo(t1 a1)
|
H A D | loopmain.h | 79 struct t1 { struct 83 typedef struct t1 t1; typedef in typeref:struct:t1 92 static inline u32 id_loopbody(t1); 94 static inline u32 triangular_loopbody(t1); 96 static inline u32 dispatch_t2(untyped_func_enum a2, t1 a3) 126 typedef t1 id_loopbody_arg; 131 typedef t1 triangular_loopbody_arg;
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_1/ |
H A D | can_frame_1.h | 23 struct t1 { struct 26 typedef struct t1 *t1; typedef in typeref:struct:t1 36 static inline t10 get_sid_eid(t1); 37 static inline t10 dispatch_t11(untyped_func_enum a2, t1 a3) 41 typedef t1 CanFrame; 43 typedef t1 get_sid_eid_arg;
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | variant_0.h | 41 struct t1 { struct 44 typedef struct t1 t1; typedef in typeref:struct:t1 65 t1 *p1; 69 static inline t26 getVals(t1 *); 70 static inline t1 *putVals(t1 *); 71 static inline t1 *dispatch_t48(untyped_func_enum a2, t1 *a3) 75 static inline t26 dispatch_t49(untyped_func_enum a2, t1 *a [all...] |
H A D | variant_0.c | 5 static inline unsigned int d5_get_a_tag_part0(t1 *b) 9 static inline unsigned int d4_get_a_tag(t1 *b) 13 static inline unsigned int d7_get_a_A_part0(t1 *b) 17 static inline u8 d6_get_a_A(t1 *b) 21 static inline t2 d3_get_a(t1 *b) 25 static inline unsigned int d11_get_b_tag_part0(t1 *b) 29 static inline unsigned int d10_get_b_tag(t1 *b) 33 static inline unsigned int d13_get_b_A_part0(t1 *b) 37 static inline u8 d12_get_b_A(t1 *b) 41 static inline unsigned int d15_get_b_B_part0(t1 * [all...] |
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_1/ |
H A D | variant_1.c | 5 static inline unsigned int d4_get_f1_part0(t1 *b) 9 static inline u32 d3_get_f1(t1 *b) 13 static inline unsigned int d6_get_f2_part0(t1 *b) 17 static inline unsigned int d7_get_f2_part1(t1 *b) 21 static inline u64 d5_get_f2(t1 *b) 32 t1 *r3 = a1.B;
|
H A D | variant_1.h | 30 struct t1 { struct 33 typedef struct t1 t1; typedef in typeref:struct:t1 37 t1 *B; 45 typedef t1 S;
|
/seL4-camkes-master/projects/musllibc/src/thread/riscv/ |
H A D | __set_thread_area.s | 4 or t1, a0, x0
|
/seL4-camkes-master/projects/musllibc/src/internal/riscv/ |
H A D | syscall.s | 21 lw t1, 0(t0) 23 /* ld t1, 0(t0) */ 25 add t0, t0, t1
|
/seL4-camkes-master/projects/musllibc/src/internal/riscv_sel4/ |
H A D | syscall.s | 21 lw t1, 0(t0) 23 /* ld t1, 0(t0) */ 25 add t0, t0, t1
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
H A D | can_frame_0.h | 25 struct t1 { struct 28 typedef struct t1 t1; typedef in typeref:struct:t1 32 t1 *ident; 47 typedef t1 CanId;
|
H A D | can_frame_0.c | 5 static inline unsigned int d4_get_eff_part0(t1 *b) 9 static inline u32 d3_get_eff(t1 *b) 13 static inline unsigned int d6_get_id_part0(t1 *b) 17 static inline u32 d5_get_id(t1 *b) 24 t1 *r3 = (*r2).ident; 26 t1 *r5 = (*r2).ident;
|
/seL4-camkes-master/projects/camkes/apps/timeserver/components/Client/src/ |
H A D | client.c | 22 uint64_t t1 = timeout_time(); local 31 assert(t2 - t1 >= TICKS * WAIT); 39 t1 = timeout_time(); 40 timeout_oneshot_absolute(0, t1 + WAIT); 44 assert(t2 - t1 >= WAIT);
|
/seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_map2/ |
H A D | pass_map2_main.c | 9 t1* arr1 = malloc(4 * sizeof (t1)); 11 arr1[0] = (t1) {.f1 = 0, .f2 = 0}; 12 arr1[1] = (t1) {.f1 = 1, .f2 = 1}; 13 arr1[2] = (t1) {.f1 = 2, .f2 = 0}; 14 arr1[3] = (t1) {.f1 = 3, .f2 = 1};
|