Searched refs:copy_len (Results 1 - 8 of 8) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_image.c | 187 size_t copy_len = (BIT(page_size)) - offset; local 190 if (copy_len > remain) { 192 copy_len = remain; 196 "copy len %zu\n", source_offset, (void *)dest_addr, remain, offset, copy_vaddr, copy_len); 199 size_t result = fread(copy_vaddr, copy_len, 1, file); 201 source_offset += copy_len; 202 remain -= copy_len; 204 memset(copy_vaddr, 0, copy_len); 207 dest_addr += copy_len; 209 current += copy_len; [all...] |
/seL4-camkes-master/projects/lwip/src/apps/netbiosns/ |
H A D | netbiosns.c | 504 size_t copy_len = strlen(hostname); local 506 LWIP_ASSERT("NetBIOS name is too long!", copy_len < NETBIOS_NAME_LEN); 507 if (copy_len >= NETBIOS_NAME_LEN) { 508 copy_len = NETBIOS_NAME_LEN - 1; 512 for (i = 0; i < copy_len; i++ ) { 515 netbiosns_local_name[copy_len] = '\0';
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 247 ssize_t copy_len = MIN(header->len, max_len); local 248 memcpy(dest, (void *)cur, copy_len); 249 return copy_len;
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | httpd.c | 2196 size_t copy_len = LWIP_MIN(sizeof(http_uri_buf) - 1, uri_len - 1); local 2197 if (copy_len > 0) { 2198 MEMCPY(http_uri_buf, uri, copy_len); 2199 http_uri_buf[copy_len] = 0; 2209 if (copy_len > 0) { 2210 size_t len_left = sizeof(http_uri_buf) - copy_len - 1; 2214 MEMCPY(&http_uri_buf[copy_len], httpd_default_filenames[loop].name, name_copy_len); 2215 http_uri_buf[copy_len + name_copy_len] = 0;
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 444 u16_t copy_len; local 469 copy_len = (u16_t)LWIP_MIN(len, p->len); 471 ret = pbuf_copy_partial(p, buf, copy_len, 0); 472 LWIP_ASSERT("ret == copy_len", ret == copy_len);
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | dns.c | 754 u16_t query_idx, copy_len; local 799 copy_len = (u16_t)(hostname - hostname_part); 805 pbuf_take_at(p, hostname_part, copy_len, (u16_t)(query_idx + 1));
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1939 size_t copy_len = header->len < block_offset ? 0 : header->len - block_offset; local 1941 copy_len = MIN(copy_len, max_len); 1943 memcpy((void *) dest, copy_start, copy_len); 1951 size_t copy_len = MIN(sizeof(empty), max_len); local 1952 memcpy((void *)base, &empty, copy_len);
|
/seL4-camkes-master/projects/lwip/src/core/ipv4/ |
H A D | dhcp.c | 1654 u16_t copy_len; local 1658 copy_len = LWIP_MIN(decode_len, 4); 1659 if (pbuf_copy_partial(q, &value, copy_len, val_offset) != copy_len) {
|
Completed in 116 milliseconds