/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | service.c | 16 cspacepath_t src, dst; local 20 dst.root = vm->cspace.cspace_obj.cptr; 21 dst.capPtr = index; 22 dst.capDepth = VM_CSPACE_SIZE_BITS; 23 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_md5.c | 14 void pico_md5sum(uint8_t *dst, const uint8_t *src, size_t len) argument 19 Md5Final(&md5, dst); 25 void pico_md5sum(uint8_t *dst, const uint8_t *src, size_t len) argument 27 md5(src, len, dst); 31 static void (*do_pico_md5sum)(uint8_t *dst, const uint8_t *src, size_t len); 32 void pico_md5sum(uint8_t *dst, const uint8_t *src, size_t len) argument 35 do_pico_md5sum(dst, src, len);
|
/seL4-camkes-master/projects/musllibc/tools/ |
H A D | install.sh | 29 dst=$2 30 tmp="$dst.tmp.$$" 32 case "$dst" in 33 */) printf "%s: %s ends in /\n", "$0" "$dst" 1>&2 ; exit 1 ;; 42 */*) mkdir -p "${dst%/*}" ;; 60 printf "%s: %s is a directory\n" "$0" "$dst" 1>&2
|
/seL4-camkes-master/tools/riscv-pk/scripts/ |
H A D | install-sh | 95 dst= 237 dst=$src 238 dstdir=$dst 256 dst=$dst_arg 258 case $dst in 259 -*) dst=./$dst;; 264 if test -d "$dst"; then 269 dstdir=$dst 270 dst [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | install-sh | 95 dst= 249 dst=$src 250 dstdir=$dst 267 dst=$dst_arg 271 if test -d "$dst"; then 276 dstdir=$dst 277 dst=$dstdir/`basename "$src"` 282 (dirname "$dst") 2>/dev/null || 283 expr X"$dst" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \ 284 X"$dst" [all...] |
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
H A D | install-sh | 95 dst= 249 dst=$src 250 dstdir=$dst 267 dst=$dst_arg 271 if test -d "$dst"; then 276 dstdir=$dst 277 dst=$dstdir/`basename "$src"` 282 (dirname "$dst") 2>/dev/null || 283 expr X"$dst" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \ 284 X"$dst" [all...] |
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_md5.h | 14 void pico_md5sum(uint8_t *dst, const uint8_t *src, size_t len);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 65 split_available(RegionList_t* dst, size_t size, int force_ptr) argument 69 ZF_LOGD("Region 0/%d: size = %zu/%zu\n", dst->region_count, dst->regions[0].size, size); 72 index = find_space(dst, size, ACPI_AVAILABLE); 75 index = find_space(dst, size, ACPI_AVAILABLE_PTR); 82 index = split_region(dst, index, size); 94 Region_t* dst = &dlist->regions[index]; local 95 dst->type = src->type; 96 dst->parent = parent; 97 memcpy(dst 131 Region_t* dst = &dlist->regions[index]; local 191 Region_t* dst = &dlist->regions[index]; local 251 Region_t* dst = &dlist->regions[index]; local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | boot.c | 33 cspacepath_t dst = {0}; local 49 dst.root = vm->cspace.cspace_obj.cptr; 50 dst.capPtr = VM_CSPACE_SLOT; 51 dst.capDepth = VM_CSPACE_SIZE_BITS; 52 err = vka_cnode_mint(&dst, &src, seL4_AllRights, vm->cspace.cspace_root_data); 71 cspacepath_t dst = {0}; local 77 err = vka_cspace_alloc_path(vm->vka, &dst); 79 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge); 83 src = dst; 84 dst [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_arp.h | 15 int32_t pico_arp_request(struct pico_device *dev, struct pico_ip4 *dst, uint8_t type); 28 struct pico_eth *pico_arp_lookup(struct pico_ip4 *dst); 29 struct pico_ip4 *pico_arp_reverse_lookup(struct pico_eth *dst);
|
H A D | pico_arp.c | 79 struct pico_ip4 dst; variable in typeref:struct:pico_ip4 134 struct pico_eth *pico_arp_lookup(struct pico_ip4 *dst) argument 137 search.ipv4.addr = dst->addr; 145 struct pico_ip4 *pico_arp_reverse_lookup(struct pico_eth *dst) argument 151 if(memcmp(&(search->eth.addr), &dst->addr, 6) == 0) 162 struct pico_ip4 dst; local 168 dst = pico_ipv4_route_get_gateway(&hdr->dst); 169 if (!dst.addr) 170 dst 477 pico_arp_request_xmit(struct pico_device *dev, struct pico_frame *f, struct pico_ip4 *src, struct pico_ip4 *dst, uint8_t type) argument 513 pico_arp_request(struct pico_device *dev, struct pico_ip4 *dst, uint8_t type) argument [all...] |
H A D | pico_802154.c | 131 struct pico_802154 dst = { .addr.data = { 0 }, .mode = dst_am(hdr) }; local 133 uint16_t len = SIZE_6LOWPAN(dst.mode); 134 memcpy(dst.addr.data, addresses, len); 135 addr_802154_to_ietf(&dst); 136 return dst; 144 struct pico_802154 dst) 154 dam = short_be((uint16_t)(dst.mode << 10)); 169 addr_802154_to_ieee(&dst); 173 memcpy(addresses, dst.addr.data, SIZE_6LOWPAN(dst 142 frame_802154_format(uint8_t *buf, uint8_t seq, uint16_t intra_pan, uint16_t ack, uint16_t sec, struct pico_6lowpan_short pan, struct pico_802154 src, struct pico_802154 dst) argument 288 struct pico_ip6 dst = ((struct pico_ipv6_hdr *)f->net_hdr)->dst; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | simple.cpp | 42 msgpack::type::tuple<int, bool, std::string> dst; local 43 deserialized.convert(dst);
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | dn_comp.c | 58 int __dn_comp(const char *src, unsigned char *dst, int space, unsigned char **dnptrs, unsigned char **lastdnptr) argument 68 *dst = 0; 88 memcpy(dst+1, src, l-bestlen); 90 dst[i] = lens[j]; 94 dst[i++] = 0xc0 | bestoff>>8; 95 dst[i++] = bestoff; 97 dst[i++] = 0; 99 /* save dst pointer */ 103 *p++ = dst;
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | utils.h | 19 extern char *cpy_arg(char **dst, char *str); 29 union pico_address dst; member in struct:udpclient_pas
|
H A D | slaacv4.c | 10 pico_ipv4_to_string(host, s->dst.addr); 28 char dst[16] = "169.254.22.5"; local 33 pico_icmp4_ping(dst, 3, 1000, 5000, 32, ping_callback_slaacv4);
|
/seL4-camkes-master/projects/musllibc/src/multibyte/ |
H A D | wcsnrtombs.c | 3 size_t wcsnrtombs(char *restrict dst, const wchar_t **restrict wcs, size_t wn, size_t n, mbstate_t *restrict st) argument 9 if (!dst) s = buf, n = sizeof buf; 10 else s = dst; 39 if (dst) *wcs = ws;
|
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_netconn.c | 82 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument 89 result = netconn_sendto((struct netconn *)handle, &buf, dst, port); 95 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument 103 ip_route_get_local_ip(&conn->pcb.udp->local_ip, dst, dst_if, dst_ip);
|
H A D | snmp_raw.c | 57 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument 59 return udp_sendto((struct udp_pcb *)handle, p, dst, port); 63 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument 71 ip_route_get_local_ip(&udp_pcb->local_ip, dst, dst_if, dst_ip);
|
/seL4-camkes-master/projects/lwip/src/include/netif/ |
H A D | ethernet.h | 67 err_t ethernet_output(struct netif* netif, struct pbuf* p, const struct eth_addr* src, const struct eth_addr* dst, u16_t eth_type);
|
H A D | lowpan6_ble.h | 69 void ble_addr_to_eui64(uint8_t *dst, const uint8_t *src, int public_addr); 70 void eui64_to_ble_addr(uint8_t *dst, const uint8_t *src);
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | elf.c | 55 paddr_t dst; local 62 dst = phdr[i].p_vaddr + offset; 64 memcpy((void *)dst, (char *)src, len); 65 dst += len; 66 memset((void *)dst, 0, phdr[i].p_memsz - len);
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | elf.c | 52 paddr_t dst; local 59 dst = phdr[i].p_vaddr + offset; 61 memcpy((void *)dst, (char *)src, len); 62 dst += len; 63 memset((void *)dst, 0, phdr[i].p_memsz - len);
|
/seL4-camkes-master/projects/picotcp/test/ |
H A D | ppp.c | 47 static void md5sum(uint8_t *dst, const uint8_t *src, size_t len) argument 49 md5(src, len, dst); 54 static void md5sum(uint8_t *dst, const uint8_t *src, size_t len) argument 59 Md5Final(&md5, dst); 114 pico_ipv4_to_string(host, s->dst.addr); 130 struct pico_ip4 dst; local 132 pico_string_to_ipv4("80.68.95.85", &dst.addr); 134 pico_socket_connect(s, &dst, short_be(80));
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | inet_chksum.h | 59 # define LWIP_CHKSUM_COPY(dst, src, len) lwip_chksum_copy(dst, src, len) 77 u16_t lwip_chksum_copy(void *dst, const void *src, u16_t len);
|