/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/src/ |
H A D | Makefile | 17 tc:
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | ip6.h | 64 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 D | lwip_check.h | 24 #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 D | rump_bmktc.c | 38 bmktc_get(struct timecounter *tc) argument
|
/seL4-camkes-master/tools/cogent/cogent/ |
H A D | Makefile | 88 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 D | ip6.h | 104 #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 D | lgamma_r.c | 98 tc = 1.46163214496836224576e+00, /* 0x3FF762D8, 0x6356BE3F */ variable 214 y = x - (tc-1.0); 226 y = x - tc;
|
H A D | lgammaf_r.c | 33 tc = 1.4616321325e+00, /* 0x3fbb16c3 */ variable 149 y = x - (tc-1.0f); 161 y = x - tc;
|
H A D | lgammal.c | 121 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 D | ip6.c | 1141 * @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 D | eap.c | 1320 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 D | pico_dns_common.h | 74 uint8_t tc : 1; /* TrunCation */
|
H A D | pico_olsr.c | 583 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 D | pico_dns_client.c | 262 dns_dbg("DNS ERROR: OPCODE %d | TC %d | RCODE %d\n", pre->opcode, pre->tc, pre->rcode);
|
H A D | pico_dns_common.c | 1329 hdr->tc = PICO_DNS_TC_NO_TRUNCATION;
|
/seL4-camkes-master/projects/musllibc/include/arpa/ |
H A D | nameser.h | 330 unsigned tc: 1; member in struct:__anon249 339 unsigned tc :1; member in struct:__anon249
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | cogent_validate.sh | 34 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...] |