Searched refs:tc (Results 1 - 17 of 17) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/src/
H A DMakefile17 tc:
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Dip6.h64 u8_t hl, u8_t tc, u8_t nexth);
66 u8_t hl, u8_t tc, u8_t nexth, struct netif *netif);
68 u8_t hl, u8_t tc, u8_t nexth, struct netif *netif);
71 u8_t hl, u8_t tc, u8_t nexth, struct netif_hint *netif_hint);
/seL4-camkes-master/projects/lwip/test/unit/
H A Dlwip_check.h24 #define tcase_add_named_test(tc,tf) \
25 _tcase_add_test((tc),(tf).func,(tf).name,0, 0, 0, 1)
/seL4-camkes-master/tools/rumprun/lib/librumpkern_bmktc/
H A Drump_bmktc.c38 bmktc_get(struct timecounter *tc) argument
/seL4-camkes-master/tools/cogent/cogent/
H A DMakefile88 test-tc-proof test-shallow-proof test-ee test-hs test-quickcheck
92 # test-tc test-ds test-an test-mn test-cg test-gcc \
120 test-tc:
122 $(SCRIPTS_DIR)/cogent_validate.sh -tc
140 test-tc-proof:
142 $(SCRIPTS_DIR)/cogent_validate.sh -tc-proof
228 $(E) "* make test-tc"
243 $(E) "* make test-tc-proof"
/seL4-camkes-master/projects/lwip/src/include/lwip/prot/
H A Dip6.h104 #define IP6H_VTCFL_SET(hdr, v, tc, fl) (hdr)->_v_tc_fl = (lwip_htonl((((u32_t)(v)) << 28) | (((u32_t)(tc)) << 20) | (fl)))
/seL4-camkes-master/projects/musllibc/src/math/
H A Dlgamma_r.c98 tc = 1.46163214496836224576e+00, /* 0x3FF762D8, 0x6356BE3F */ variable
214 y = x - (tc-1.0);
226 y = x - tc;
H A Dlgammaf_r.c33 tc = 1.4616321325e+00, /* 0x3fbb16c3 */ variable
149 y = x - (tc-1.0f);
161 y = x - tc;
H A Dlgammal.c121 tc = 1.4616321449683623412626595423257213284682E0L, variable
128 /* lgam (x + tc) = tf + tt + x g(x)/h(x)
268 y = x - (tc - 1.0);
282 y = x - tc;
/seL4-camkes-master/projects/lwip/src/core/ipv6/
H A Dip6.c1141 * @param tc the Traffic Class value to be set in the IPv6 header
1150 u8_t hl, u8_t tc,
1165 return ip6_output_if_src(p, src_used, dest, hl, tc, nexth, netif);
1174 u8_t hl, u8_t tc,
1216 IP6H_VTCFL_SET(ip6hdr, 6, tc, 0);
1284 * @param tc the Traffic Class value to be set in the IPv6 header
1292 u8_t hl, u8_t tc, u8_t nexth)
1324 return ip6_output_if(p, src, dest, hl, tc, nexth, netif);
1340 * @param tc the Traffic Class value to be set in the IPv6 header
1350 u8_t hl, u8_t tc, u8_
1149 ip6_output_if(struct pbuf *p, const ip6_addr_t *src, const ip6_addr_t *dest, u8_t hl, u8_t tc, u8_t nexth, struct netif *netif) argument
1173 ip6_output_if_src(struct pbuf *p, const ip6_addr_t *src, const ip6_addr_t *dest, u8_t hl, u8_t tc, u8_t nexth, struct netif *netif) argument
1291 ip6_output(struct pbuf *p, const ip6_addr_t *src, const ip6_addr_t *dest, u8_t hl, u8_t tc, u8_t nexth) argument
1349 ip6_output_hinted(struct pbuf *p, const ip6_addr_t *src, const ip6_addr_t *dest, u8_t hl, u8_t tc, u8_t nexth, struct netif_hint *netif_hint) argument
[all...]
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Deap.c1320 struct t_client *tc; local
1472 tc = NULL;
1474 tc = (struct t_client *)pcb->eap.es_client.
1482 t_clientclose(tc);
1484 tc = NULL;
1489 if (tc == NULL) {
1566 tc = t_clientopen(pcb->eap.es_client.ea_name,
1568 if (tc == NULL) {
1572 pcb->eap.es_client.ea_session = (void *)tc;
1577 t_clientaddexdata(tc, val
[all...]
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dns_common.h74 uint8_t tc : 1; /* TrunCation */
H A Dpico_olsr.c583 struct olsr_hmsg_tc *tc; local
633 tc = (struct olsr_hmsg_tc *)(dgram + size);
638 tc->ansn = short_be(my_ansn);
809 struct olsr_hmsg_tc *tc = (struct olsr_hmsg_tc *) buf; local
810 uint16_t new_ansn = short_be(tc->ansn);
H A Dpico_dns_client.c262 dns_dbg("DNS ERROR: OPCODE %d | TC %d | RCODE %d\n", pre->opcode, pre->tc, pre->rcode);
H A Dpico_dns_common.c1329 hdr->tc = PICO_DNS_TC_NO_TRUNCATION;
/seL4-camkes-master/projects/musllibc/include/arpa/
H A Dnameser.h330 unsigned tc: 1; member in struct:__anon249
339 unsigned tc :1; member in struct:__anon249
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcogent_validate.sh34 echo "Usage: $0 -[pp|tc|ds|an|mn|cg|gcc|tc-proof|ac|c-refine|flags|hsc-gen|aq|shallow-proof|hs-shallow|examples|goanna|libgum|all|clean] [-q|-i|]"
37 echo ' -tc Test type checking'
43 echo ' -tc-proof Test proof generation for type checking'
63 echo "Usage: $0 -[pp|tc|ds|an|mn|cg|gcc|tc-proof|ac|c-refine|flags|hsc-gen|aq|shallow-proof|hs-shallow|examples|goanna|libgum|all|clean] [-q|-i|]"
68 OPTS=$(getopt -o h --alternative --long pp,tc,ds,an,mn,cg,gcc,tc-proof,ac,c-refine,flags,hsc-gen,aq,shallow-proof,hs-shallow,examples,goanna,ee,libgum,all,help,clean,q,i -n "$0" -- "$@")
92 --all) TESTSPEC='--pp--tc--ds--an--mn--aq--cg--gcc--tc
[all...]

Completed in 147 milliseconds