Searched refs:u16 (Results 1 - 25 of 32) sorted by relevance

12

/seL4-camkes-master/tools/cogent/c-refinement/tests/
H A Dfun2.c13 static inline t1 foo(u16 a1)
15 u16 r2 = a1;
26 u16 r4 = (u16) r3;
H A Dfun2.h31 static inline t1 foo(u16);
33 static inline t1 dispatch_t2(untyped_func_enum a9, u16 a10)
43 typedef u16 foo_arg;
H A Dpass_very-simple-split.c16 u16 r3 = a1.p2;
H A Dpass_prim-ops.h35 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 Dpass_prim-ops.c119 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 Dpass_simple-take-letput.h46 u16 x;
52 u16 y;
H A Dpass_very-simple-split.h35 u16 p2;
H A Dpass_simple-take-letput.c20 u16 r3 = (*r2).x;
H A Dwordarraytest.c21 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 Dwait_bit.h67 BUILD_WAIT_FOR_BIT(le16, u16, readw)
69 BUILD_WAIT_FOR_BIT(be16, u16, readw_be)
H A Dnet.h304 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 Dmiiphyutil.c415 u16 bmcr, anlpar, adv;
418 u16 btsr;
475 u16 bmcr, anlpar, adv;
478 u16 btsr;
541 u16 exsr;
H A Dmiiphy.h88 u16 value);
143 u16 val);
/seL4-camkes-master/tools/cogent/cogent/lib/
H A Dcogent-defns.h18 typedef unsigned short u16; typedef
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/
H A Dcogent-defns.h18 typedef unsigned short u16; typedef
H A Dvariant_0.h53 u16 B;
H A Dvariant_0.c45 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 Dnet.h296 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 Dmiiphyutil.c103 int reg, u16 val)
458 u16 bmcr, anlpar;
461 u16 btsr;
511 u16 bmcr, anlpar;
514 u16 btsr;
572 u16 exsr;
H A Dmarvell.c281 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 Dunimplemented.h38 typedef uint16_t u16; typedef
53 typedef u16 __u16;
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/
H A Dfsm_wrapper_pp_inferred.c31 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 Dmiiphyutil.c103 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 Dunimplemented.h59 typedef uint16_t u16; typedef
74 typedef u16 __u16;
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dunimplemented.h58 typedef uint16_t u16; typedef
73 typedef u16 __u16;

Completed in 94 milliseconds

12