/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_mdns.c | 101 pico_mdns_rtree artree; /* Additional record tree */ 133 * @param a mDNS record A 134 * @param b mDNS record B 150 return pico_dns_record_cmp_name_type(_a->record, _b->record); 156 * @param ra mDNS record A 157 * @param rb mDNS record B 172 return pico_dns_record_cmp((void*)(((struct pico_mdns_record *)a)->record), 173 (void*)(((struct pico_mdns_record *)b)->record)); 475 * Just makes a hardcopy from a single mDNS resource record 525 struct pico_mdns_record *record = NULL; local 579 struct pico_mdns_record *record = NULL; local 625 struct pico_mdns_record *record = NULL; local 661 struct pico_mdns_record *record = NULL; local 706 pico_mdns_record_copy_with_new_name( struct pico_mdns_record *record, const char *new_rname ) argument 754 struct pico_mdns_record *record = NULL, *new_record = NULL; local 804 pico_mdns_record_resolve_conflict( struct pico_mdns_record *record, char *rname ) argument 962 struct pico_mdns_record *record = NULL; local 1271 struct pico_mdns_record *record = NULL; local 1313 struct pico_mdns_record *record = NULL, *copy = NULL; local 1342 struct pico_mdns_record *record = NULL, *copy = NULL; local 1373 struct pico_mdns_record *record = NULL; local 1411 struct pico_mdns_record *record = NULL, *myrecord = NULL; local 1451 struct pico_mdns_record *record = NULL, *found = NULL; local 1486 pico_mdns_cache_update_ttl( struct pico_mdns_record *record, uint32_t ttl ) argument 1634 struct pico_mdns_record *record = NULL; local 1920 struct pico_mdns_record *record = NULL; local 2045 struct pico_mdns_record *record = NULL; local 2241 struct pico_mdns_record *record = NULL; local 2278 struct pico_mdns_record *record = NULL; local 2298 struct pico_mdns_record *record = NULL; local 2320 struct pico_mdns_record *record = NULL; local 2383 struct pico_mdns_record *record = NULL, *nsec = NULL; local 2425 struct pico_mdns_record *record = NULL, *copy = NULL; local 2549 struct pico_mdns_record *record = NULL; local 2652 struct pico_mdns_record *record = NULL, ka = { local 3197 struct pico_mdns_record *record = NULL; local 3350 struct pico_mdns_record *record = NULL; local 3508 struct pico_mdns_record *record = NULL; local [all...] |
H A D | pico_mdns.h | 55 /* --- MDNS resource record --- */ 58 struct pico_dns_record *record; /* DNS Resource Record */ member in struct:pico_mdns_record 67 * @param ra mDNS record A 68 * @param rb mDNS record B 75 * Deletes a single mDNS resource record. 77 * @param record Void-pointer to mDNS Resource Record. Can be used with pico_- 82 pico_mdns_record_delete( void **record ); 85 * Creates a single standalone mDNS resource record with given name, type and 90 * @param _rdata Memory buffer with data to insert in the resource record. If 91 * data of record shoul [all...] |
H A D | pico_dns_common.c | 668 * @param record Pointer to DNS record you want to copy flat. 669 * @param destination Pointer-pointer to flat memory buffer to copy DNS record 675 pico_dns_record_copy_flat( struct pico_dns_record *record, argument 683 if (!record || !destination || !(*destination)) { 691 (dest_rname + record->rname_length); 695 /* Copy the rname of the resource record into the flat location */ 696 strcpy(dest_rname, record->rname); 699 dest_rsuffix->rtype = record->rsuffix->rtype; 700 dest_rsuffix->rclass = record 920 struct pico_dns_record *record = NULL; local 967 pico_dns_record_decompress( struct pico_dns_record *record, pico_dns_packet *packet ) argument 1353 struct pico_dns_record *record = NULL; local [all...] |
H A D | pico_dns_common.h | 95 /* Resource record fixed-sized fields */ 306 * Deletes a single DNS resource record. 308 * @param record Void-pointer to DNS record. Can be used with pico_tree_destroy 312 pico_dns_record_delete( void **record ); 317 * @param record DNS record you want to copy 318 * @return Pointer to copy of DNS record. 321 pico_dns_record_copy( struct pico_dns_record *record ); 328 * @param _rdata Memory buffer with data to insert in the resource record [all...] |
H A D | pico_dns_sd.c | 67 * Creates an mDNS record with the SRV record format. 69 * @param url Name of the SRV record in URL format. 75 * @param flags mDNS record flags to set specifications of the record. 76 * @return Pointer to newly created record on success, NULL on failure. 87 struct pico_mdns_record *record = NULL; local 122 /* Create and return new mDNS record */ 123 record = pico_mdns_record_create(url, srv_data, srv_length, 127 return record; 145 struct pico_mdns_record *record = NULL; local [all...] |
H A D | pico_mld.c | 63 struct mldv2_group_record record[1]; variable in typeref:struct:mldv2_group_record 745 struct mldv2_group_record *record = NULL; local 772 record = &report->record[0]; 773 record->type = filter->record_type; 774 record->aux = 0; 775 record->nbr_src = short_be(filter->sources); 776 record->mcast_group = p->mcast_group.ip6; 781 record->src[i] = (*(struct pico_ip6 *)index->keyValue);
|
H A D | pico_igmp.c | 50 /* group record types */ 725 struct igmpv3_group_record *record = NULL; local 745 record = (struct igmpv3_group_record *)(((uint8_t *)report) + sizeof(struct igmpv3_report)); 746 record->type = filter->record_type; 747 record->aux = 0; 748 record->sources = short_be(filter->sources); 749 record->mcast_group = p->mcast_group.ip4.addr; 751 uint32_t *source_addr = (uint32_t *)((uint8_t *)record + sizeof(struct igmpv3_group_record));
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_dns_sd.c | 79 struct pico_mdns_record *record = NULL; local 88 record = pico_dns_sd_srv_record_create("test.local", 0, 0, 80, 92 fail_unless(strcmp(record->record->rname, "\4test\5local") == 0, 93 "Name of SRV record not correct!\n"); 94 fail_unless(short_be(record->record->rsuffix->rtype) == 33, 95 "Type of SRV record not correctly set!\n"); 96 fail_unless(short_be(record->record 109 struct pico_mdns_record *record = NULL; local [all...] |
H A D | modunit_pico_mdns.c | 112 a.record = pico_dns_record_create(url1, &rdata, 4, &len, PICO_DNS_TYPE_AAAA, 114 fail_if(!a.record, "Record A could not be created!\n"); 115 b.record = pico_dns_record_create(url1, &rdata, 4, &len, PICO_DNS_TYPE_A, 117 fail_if(!b.record, "Record B could not be created!\n"); 122 pico_dns_record_delete((void**)(void **)&(a.record)); 123 pico_dns_record_delete((void**)(void **)&(b.record)); 126 a.record = pico_dns_record_create(url3, (uint8_t *)url1, (uint16_t) strlen(url1), &len, 129 fail_if(!a.record, "Record A could not be created!\n"); 130 b.record = pico_dns_record_create(url3, (uint8_t *)url1, (uint16_t) strlen(url1), &len, 133 fail_if(!b.record, "Recor 712 struct pico_mdns_record *record = NULL; local 745 struct pico_mdns_record *record = NULL; local 845 struct pico_mdns_record *record = NULL; local 922 struct pico_mdns_record *record = NULL, *copy = NULL; local 950 struct pico_mdns_record *record = NULL, *copy = NULL; local 983 struct pico_mdns_record *record = NULL; local 1003 struct pico_mdns_record *record = NULL; local 1026 struct pico_mdns_record *record = NULL, *record1 = NULL, *record2 = NULL, local 1074 struct pico_mdns_record *record = NULL; local 1108 struct pico_mdns_record *record = NULL; local 1149 struct pico_mdns_record *record = NULL, *record1 = NULL, *record2 = NULL, local 1240 struct pico_mdns_record *record = NULL, *record1 = NULL, *record2 = NULL, local 1321 struct pico_mdns_record *record = NULL, *record1 = NULL, *record2 = NULL, local 1379 struct pico_mdns_record *record = NULL, *record1 = NULL, *record2 = NULL, local 1433 struct pico_mdns_record *record = NULL, *found = NULL; local 1659 struct pico_mdns_record *srv_record = NULL, *record = NULL; local 1788 struct pico_mdns_record *record = NULL, *found = NULL; local 1945 struct pico_mdns_record *record = NULL, *record1 = NULL; local [all...] |
H A D | modunit_pico_dns_common.c | 390 struct pico_dns_record *record = NULL; local 416 /* Create a new A record */ 417 record = pico_dns_record_create(rname, rdata, 4, &len, PICO_DNS_TYPE_A, 419 fail_if(!record, "dns_record_create failed!\n"); 421 /* Add the record to a tree */ 422 pico_tree_insert(&antree, record); 692 /* First, plain A record */ 706 /* Reverse PTR record for IPv4 address */ 716 /* Reverse PTR record for IPv6 address */ 796 struct pico_dns_record *record local [all...] |
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_mdns.tex | 4 This module can register DNS resource records on the network via Multicast DNS as either \textbf{\emph{shared}} or \textbf{\emph{unique}} records. Unique records are, as the name implies, unique on the network (the record-name and -type combination is unique) and one single host has claimed the ownership of them. Shared records are records that are not unique on the network, which means multiple hosts can register records with the same record-name and -type combination. For more information on shared and unique resource record sets, see RFC6762. 8 This module only supplies the mechanisms of record registration and resolving on the network, it doesn't parses the contents of them, that's up to the application. 25 \item \texttt{address} - IPv4-address of this machines interface to generate a hostname record from. 26 \item \texttt{cb$\_$initialised} - Callback-function that is called when the initialisation process is done. This will also get called when asynchronous conflicts occur for successfully registered records during run-time. The mDNS-record tree contains the registered records, the char-buffer contains the registered hostname and the void-pointer contains the passed argument. 72 Tries to claim a hostname for this machine. Claims automatically a unique A record with the IPv4-address of this host. The hostname won't be set directly when this functions returns, but only if the claiming of the unique record succeeded. Init-callback specified when initialising the module will be called when the hostname-record is successfully registered. 86 Returns 0 when the host started registering the hostname-record successfull [all...] |
H A D | chap_api_dns_sd.tex | 32 \item \texttt{txt$\_$data} - Pointer to vector with key-value pairs to insert into the TXT record to give additional information about the service. Use the 'PICO$\_$DNS$\_$SD$\_$KV$\_$VECTOR$\_$DECLARE'-macro to declare a vector for key-value-pairs. This vector will be destroyed when the function returns since there's no need in keeping the contents.
|
/seL4-camkes-master/tools/cogent/cogent/manual/ |
H A D | cogent-manual.tex | 170 Lowercase identifiers are used for record field names and for term variables and type variables. Capitalized identifiers are 403 A record type is similar to a C struct, or a Haskell data type in record syntax. It consist of 404 arbitrary many \textit{fields}, where each field has a name and a type. Accordingly, a record type expression 428 The fields in a record type are order-sensitive. Therefore, the type expressions \code{\{a: U8, b: U16\}} and 429 \code{\{b: U16, a: U8\}} denote different types. A record type must always have atleast one field. 430 Other than for tuples, a record type may have a single field. 730 Together, a type is linear when, after expanding all type synonyms, it has a component of a record or abstract type 740 an unboxed version. By applying the unbox type operator to all record types and abstract types 761 When applied to a record, th [all...] |
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | doc.tex | 119 \text{record matching} & r_m & ::= & v\ (\code{=}\ p_i)^? \\ 120 \text{strict record matchings} & \overline{r_m}^! & ::= & r_m (\code{,}\ r_m)^* \\ 121 \text{record matchings} & \overline{r_m} & ::= & (\overline{r_m}^! \code{,})^?\ \code{..} \\ 122 \text{record assignment} & r_a & ::= & v\ (\code{=}\ e^{\col{1}})^? \\ 123 \text{strict record assignments} & \overline{r_a}^! & ::= & r_a (\code{,}\ r_a)^* \\ 124 \text{record assignments} & \overline{r_a} & ::= & (\overline{r_a}^! \code{,})^?\ \code{..} \\ 522 composite types. We generally have three different kinds of composite types --- record types, variant types 525 \paragraph{Record types} Similar to C structs, each record consists of more than 1 field. Fields are order-sensitive. 529 a boxed record, even though you have all the fields at hand, nor a way to free one. Each boxed record come [all...] |
/seL4-camkes-master/kernel/manual/parts/ |
H A D | io.tex | 408 The kernel keeps a record of Vspace's usage in context banks in SMMU by
|
H A D | threads.tex | 130 \item When a thread starts executing at current time $T$, record $T_{s}$
|
/seL4-camkes-master/tools/riscv-pk/ |
H A D | configure | 1647 # Strip out --silent because we don't want to record it for future runs.
|