Searched refs:t1 (Results 1 - 25 of 70) sorted by relevance

123

/seL4-camkes-master/projects/musllibc/src/time/
H A Ddifftime.c3 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 Dmsgpack_tuple.cpp7 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 Dpass_very-simple-split.h33 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 Dpass_simple-take-letput.h45 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 Dfun2.h26 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 Dpass_simple-take-letput.c17 static inline t1* foobar(t1* a1)
19 t1* r2 = a1;
21 t1* r4 = r2;
25 t1* r5 = r4;
26 t1* r6 = r5;
H A Dpass_simple-case3.h30 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 Dfun2.c13 static inline t1 foo(u16 a1)
18 t1 r5 = (t1) {.p1 = r3, .p2 = r4};
27 t1 r5 = foo(r4);
H A Dpass_middle-size-example.h33 struct t1 { struct
37 typedef struct t1 t1; typedef in typeref:struct:t1
39 t1* a;
50 t1* p2;
H A Dpass_middle-size-example.c26 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 Dfun_dsl.h27 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 Dpass_very-simple-split.c13 static inline u32 foo(t1 a1)
H A Dloopmain.h79 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 Dcan_frame_1.h23 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 Dvariant_0.h41 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 Dvariant_0.c5 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 Dvariant_1.c5 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 Dvariant_1.h30 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.s4 or t1, a0, x0
/seL4-camkes-master/projects/musllibc/src/internal/riscv/
H A Dsyscall.s21 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 Dsyscall.s21 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 Dcan_frame_0.h25 struct t1 { struct
28 typedef struct t1 t1; typedef in typeref:struct:t1
32 t1 *ident;
47 typedef t1 CanId;
H A Dcan_frame_0.c5 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 Dclient.c22 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 Dpass_map2_main.c9 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};

Completed in 68 milliseconds

123