Searched refs:addresses (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c38 static void *addresses[NUM_PCI_MAPPINGS]; variable
238 if (addresses[i] == NULL) {
239 addresses[i] = vaddr;
255 if (addresses[i] == addr) {
256 addresses[i] = NULL;
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_802154.c46 /* Commonly used addresses */
77 * of the host's IPv6 addresses, back to IEEE-endianess, which is little
119 uint8_t *addresses = (uint8_t *)hdr + sizeof(struct pico_802154_hdr); local
121 memcpy(src.addr.data, addresses + SIZE_6LOWPAN(dst_am(hdr)), len);
132 uint8_t *addresses = (uint8_t *)hdr + sizeof(struct pico_802154_hdr); local
134 memcpy(dst.addr.data, addresses, len);
146 uint8_t *addresses = (uint8_t *)(buf + sizeof(struct pico_802154_hdr)); local
166 /* Convert addresses to IEEE-endianness */
171 /* Fill in the addresses */
173 memcpy(addresses, ds
[all...]
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Duntyped_gen.py117 addresses = yaml.load(args.input)
139 for a in addresses['memory']:
157 for d in addresses['devices']:
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dauth.c143 /* List of addresses which the peer may use. */
144 static struct permitted_ip *addresses[NUM_PPP];
146 /* Wordlist giving addresses which the peer may use
1681 * acceptable, and iff so, set the list of acceptable IP addresses
2031 * set_allowed_addrs() - set the list of allowed addresses.
2051 if (addresses[unit] != NULL)
2052 free(addresses[unit]);
2053 addresses[unit] = NULL;
2059 * Count the number of IP addresses given.
2075 /* "-" means no addresses authorize
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex157 Userland typically has a way of finding out to which virtual addresses its
177 addresses of retyped frames and use them to initiate DMA transfers when no
H A Dcspace.tex410 (with consecutive addresses, following the base slot) in the range.
460 0x00F00000 with a depth limit of 24 bits. Note that the addresses of
H A Dio.tex462 example, faulty addresses, or permission errors. The SMMU driver identifies the
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_ipv6.tex487 towards public IPv6 addresses configured on other interfaces, or reachable through known gateways.
513 This function will stop advertising reachable routes to public IPv6 addresses configured on other

Completed in 94 milliseconds