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 Dguest_image.c187 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 Dnetbiosns.c504 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 Dlibsel4simple-default.c247 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 Dhttpd.c2196 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 Daltcp_tls_mbedtls.c444 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 Ddns.c754 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 Dmain.c1939 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 Ddhcp.c1654 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