Searched refs:addresses (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 38 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 D | pico_802154.c | 46 /* 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 D | untyped_gen.py | 117 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 D | auth.c | 143 /* 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 D | bootup.tex | 157 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 D | cspace.tex | 410 (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 D | io.tex | 462 example, faulty addresses, or permission errors. The SMMU driver identifies the
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_ipv6.tex | 487 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