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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mdns.c101 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 Dpico_mdns.h55 /* --- 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 Dpico_dns_common.c668 * @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 Dpico_dns_common.h95 /* 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 Dpico_dns_sd.c67 * 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 Dpico_mld.c63 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 Dpico_igmp.c50 /* 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 Dmodunit_pico_dns_sd.c79 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 Dmodunit_pico_mdns.c112 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 Dmodunit_pico_dns_common.c390 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 Dchap_api_mdns.tex4 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 Dchap_api_dns_sd.tex32 \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 Dcogent-manual.tex170 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 Ddoc.tex119 \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 Dio.tex408 The kernel keeps a record of Vspace's usage in context banks in SMMU by
H A Dthreads.tex130 \item When a thread starts executing at current time $T$, record $T_{s}$
/seL4-camkes-master/tools/riscv-pk/
H A Dconfigure1647 # Strip out --silent because we don't want to record it for future runs.

Completed in 90 milliseconds