/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | fun2.c | 13 static inline t1 foo(u16 a1) 15 u16 r2 = a1; 26 u16 r4 = (u16) r3;
|
H A D | fun2.h | 31 static inline t1 foo(u16); 33 static inline t1 dispatch_t2(untyped_func_enum a9, u16 a10) 43 typedef u16 foo_arg;
|
H A D | pass_very-simple-split.c | 16 u16 r3 = a1.p2;
|
H A D | pass_prim-ops.h | 35 static inline u16 ops16(u16); 37 static inline u16 dispatch_t1(untyped_func_enum a2, u16 a3) 59 typedef u16 ops16_arg; 60 typedef u16 ops16_ret;
|
H A D | pass_prim-ops.c | 119 static inline u16 ops16(u16 a1) 121 u16 r2 = a1; 123 u16 r4 = (u16) r3; 124 u16 r5 = (u16) ((u32) r2 + (u32) r4); 125 u16 r6 = (u16) ((u32) r5 * (u32) r2); 126 u16 r [all...] |
H A D | pass_simple-take-letput.h | 46 u16 x; 52 u16 y;
|
H A D | pass_very-simple-split.h | 35 u16 p2;
|
H A D | pass_simple-take-letput.c | 20 u16 r3 = (*r2).x;
|
H A D | wordarraytest.c | 21 typedef unsigned short u16; typedef 302 static inline u16 u8_to_u16(u8); 306 static inline u16 u32_to_u16(u32); 307 static inline u8 u16_to_u8(u16); 308 static inline u32 u16_to_u32(u16); 329 static inline u64 u16_to_u64(u16); 331 static inline u16 cogent_low_16_bits(u32); 332 static inline u16 cogent_high_16_bits(u32); 334 static inline unit_t cogent_debug_u16(u16); 426 static inline u32 dispatch_t171(t171 a172, u16 a17 [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | wait_bit.h | 67 BUILD_WAIT_FOR_BIT(le16, u16, readw) 69 BUILD_WAIT_FOR_BIT(be16, u16, readw_be)
|
H A D | net.h | 304 u16 et_protlen; /* Protocol or length */ 315 u16 et_protlen; /* Protocol or length */ 322 u16 et_prot; /* 802 protocol */ 334 u16 vet_vlan_type; /* PROT_VLAN */ 335 u16 vet_tag; /* TAG of VLAN */ 336 u16 vet_type; /* protocol type */ 359 u16 ip_len; /* total length */ 360 u16 ip_id; /* identification */ 361 u16 ip_off; /* fragment offset field */ 364 u16 ip_su [all...] |
H A D | miiphyutil.c | 415 u16 bmcr, anlpar, adv; 418 u16 btsr; 475 u16 bmcr, anlpar, adv; 478 u16 btsr; 541 u16 exsr;
|
H A D | miiphy.h | 88 u16 value); 143 u16 val);
|
/seL4-camkes-master/tools/cogent/cogent/lib/ |
H A D | cogent-defns.h | 18 typedef unsigned short u16; typedef
|
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | cogent-defns.h | 18 typedef unsigned short u16; typedef
|
H A D | variant_0.h | 53 u16 B;
|
H A D | variant_0.c | 45 static inline u16 d14_get_b_B(t1 *b) 47 return (u16) d15_get_b_B_part0(b) << 0U; 138 static inline void d37_set_b_B(t1 *b, u16 v)
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 296 u16 et_protlen; /* Protocol or length */ 307 u16 et_protlen; /* Protocol or length */ 314 u16 et_prot; /* 802 protocol */ 326 u16 vet_vlan_type; /* PROT_VLAN */ 327 u16 vet_tag; /* TAG of VLAN */ 328 u16 vet_type; /* protocol type */ 350 u16 ip_len; /* total length */ 351 u16 ip_id; /* identification */ 352 u16 ip_off; /* fragment offset field */ 355 u16 ip_su [all...] |
H A D | miiphyutil.c | 103 int reg, u16 val) 458 u16 bmcr, anlpar; 461 u16 btsr; 511 u16 bmcr, anlpar; 514 u16 btsr; 572 u16 exsr;
|
H A D | marvell.c | 281 u8 reg_num, u16 offset, u16 len, u16 data) 283 u16 reg, mask; 466 u16 reg;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | unimplemented.h | 38 typedef uint16_t u16; typedef 53 typedef u16 __u16;
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
H A D | fsm_wrapper_pp_inferred.c | 31 typedef unsigned short u16; typedef 94 u16 count; 154 u16 nlen; 187 u16 count; 516 u16 u8_to_u16(u8 x) 518 return (u16) x; 528 u8 u16_to_u8(u16 x) 532 u32 u16_to_u32(u16 x) 540 u16 u32_to_u16(u32 x) 542 return (u16) [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphyutil.c | 103 int reg, u16 val) 458 u16 bmcr, anlpar; 461 u16 btsr; 511 u16 bmcr, anlpar; 514 u16 btsr; 572 u16 exsr;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | unimplemented.h | 59 typedef uint16_t u16; typedef 74 typedef u16 __u16;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | unimplemented.h | 58 typedef uint16_t u16; typedef 73 typedef u16 __u16;
|