Searched refs:copy (Results 1 - 25 of 35) sorted by relevance

12

/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dtest_copy.c14 json_t *value, *copy; local
21 copy = json_copy(value);
22 if(value != copy)
25 json_decref(copy);
29 copy = json_copy(value);
30 if(value != copy)
33 json_decref(copy);
37 copy = json_copy(value);
38 if(value != copy)
41 json_decref(copy);
94 json_t *value, *copy; local
176 json_t *array, *copy; local
205 json_t *array, *copy; local
235 json_t *object, *copy; local
275 json_t *object, *copy; local
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_io.c48 va_list copy; local
49 va_copy(copy, ap);
59 ret = original_sys_close(copy);
63 va_end(copy);
70 va_list copy; local
71 va_copy(copy, ap);
87 ret = original_sys_write(copy);
102 va_end(copy);
109 va_list copy; local
110 va_copy(copy, a
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_console_emul.c45 /* determine how much we can copy */
46 uint32_t copy; local
47 copy = len - buf_written;
48 copy = MIN(copy, desc.len - desc_written);
49 vm_guest_write_mem(emul->vm, buf + buf_written, (uintptr_t)desc.addr + desc_written, copy);
51 tot_written += copy;
52 desc_written += copy;
53 buf_written += copy;
H A Dvirtio_net_emul.c69 /* determine how much we can copy */
70 uint32_t copy; local
73 copy = sizeof(struct virtio_net_hdr) - buf_written;
76 copy = lens[current_buf] - buf_written;
79 copy = MIN(copy, desc.len - desc_written);
80 vm_guest_write_mem(emul->vm, buf_base + buf_written, (uintptr_t)desc.addr + desc_written, copy);
82 tot_written += copy;
83 desc_written += copy;
84 buf_written += copy;
[all...]
/seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/
H A DvirtqueueScript.sml57 val _ = Word8Array.copy (Utils.int_to_bytes virtqueue_id 4) 0 4 buf 1;
60 get_result buf (fn buf => Word8Array.copy buf 1 word_size (virtqueue_ptr virtqueue) 0)
69 val _ = Word8Array.copy (Utils.int_to_bytes virtqueue_id 4) 0 4 buf 1;
72 get_result buf (fn buf => Word8Array.copy buf 1 word_size (virtqueue_ptr virtqueue) 0)
80 val _ = Word8Array.copy virtqueue 0 word_size buf 1;
89 val _ = Word8Array.copy virtqueue 0 word_size buf 1;
100 val _ = Word8Array.copy (virtqueue_ptr virtqueue) 0 word_size buf 1;
106 val _ = Word8Array.copy buf (1 + word_size) result_size result 0;
115 val _ = Word8Array.copy (virtqueue_ptr virtqueue) 0 word_size buf 1;
126 val _ = Word8Array.copy (virtqueue_pt
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage7.py31 import copy, six namespace
64 Make a copy of the given object, mangling the new object's name such that
72 new = copy.copy(obj)
76 new.value = copy.copy(new.value)
172 e = copy.copy(f)
186 e = copy.copy(
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c120 /* First need to copy the cap */
143 /* Grab a copy of the cap */
144 seL4_CPtr copy = vspace_get_cap(vspace, mapping); local
146 assert(copy);
150 vka_cspace_make_path(vka, copy, &copy_path);
152 vka_cspace_free(vka, copy);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dwalker.c125 /* now create a copy of the table for us to keep */
127 acpi_header_t *copy = (acpi_header_t *) malloc(length); local
128 if (copy == NULL) {
130 assert(copy != NULL);
134 memcpy(copy, header_vaddr, length);
139 /* return the copy.
150 return copy;
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mdns.c477 * @param record mDNS record you want to create a copy from
483 struct pico_mdns_record *copy = NULL; local
491 /* Provide space for the copy */
492 if (!(copy = PICO_ZALLOC(sizeof(struct pico_mdns_record)))) {
498 if (!(copy->record = pico_dns_record_copy(record->record))) {
499 PICO_FREE(copy);
504 copy->current_ttl = record->current_ttl;
505 copy->flags = record->flags;
506 copy->claim_id = record->claim_id;
508 return copy;
709 struct pico_mdns_record *copy = NULL; local
809 struct pico_mdns_record *copy = NULL; local
1313 struct pico_mdns_record *record = NULL, *copy = NULL; local
1342 struct pico_mdns_record *record = NULL, *copy = NULL; local
1572 struct pico_mdns_record *found = NULL, *copy = NULL; local
2425 struct pico_mdns_record *record = NULL, *copy = NULL; local
2444 struct pico_mdns_record *copy = NULL; local
[all...]
H A Dpico_dns_common.c668 * @param record Pointer to DNS record you want to copy flat.
669 * @param destination Pointer-pointer to flat memory buffer to copy DNS record
768 * @param record DNS record you want to copy
769 * @return Pointer to copy of DNS record.
774 struct pico_dns_record *copy = NULL; local
782 /* Provide space for the copy */
783 if (!(copy = PICO_ZALLOC(sizeof(struct pico_dns_record)))) {
789 copy->rname = PICO_ZALLOC((size_t)record->rname_length);
790 copy->rsuffix = PICO_ZALLOC(sizeof(struct pico_dns_record_suffix));
791 copy
[all...]
H A Dpico_6lowpan.c1079 n++; // Payload is another chunk to copy
1252 frag_update(struct pico_frame *f, struct frag_ctx *frag, uint8_t units, uint16_t copy) argument
1255 frag->copied = (uint16_t)(frag->copied + copy);
1270 frag_fill(uint8_t *frag, uint8_t dispatch, uint16_t dgram_size, uint16_t tag, uint8_t dgram_off, int32_t offset, uint16_t copy, uint16_t copied, uint8_t *buf) argument
1277 buf_move(frag + offset, buf + copied, copy);
1288 uint16_t copy = 0, alloc = FRAGN_SIZE; local
1297 /* Calculate dgram_off and bytes to copy */
1300 copy = left;
1303 copy = (uint16_t)(units << 3);
1305 alloc = (uint16_t)(alloc + copy);
1334 frag_1st(struct pico_frame *f, uint16_t dgram_size, uint8_t dgram_off, uint16_t copy) argument
[all...]
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_device.c459 struct pico_frame *copy = pico_frame_copy(f); local
461 if(!copy)
464 copy->dev = dev;
465 copy->dev->send(copy->dev, copy->start, (int)copy->len);
466 pico_frame_discard(copy);
/seL4-camkes-master/tools/cogent/cogent/examples/files/
H A DMakefile12 NAME=file-copy
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Ddir.c1220 unsigned long size, copy; local
1241 i = n = copy = 0;
1253 copy = min(size, sb->s_blocksize);
1254 memcpy(bhs[n]->b_data, slots, copy);
1255 slots += copy;
1256 size -= copy;
1266 memset(bhs[n]->b_data + copy, 0, sb->s_blocksize - copy);
1267 offset = copy - sizeof(struct msdos_dir_entry);
1356 int copy local
1367 int copy = min_t(int, sb->s_blocksize - offset, size); local
[all...]
H A Dfatent.c385 int err, n, copy; local
388 for (copy = 1; copy < sbi->fats; copy++) {
389 sector_t backup_fat = sbi->fat_length * copy;
/seL4-camkes-master/tools/cogent/regression/
H A Dtestspec.py13 import copy namespace
63 env = copy.deepcopy(env)
71 # Create a copy of env so that the scope is restored.
72 env = copy.deepcopy(env)
101 # Create a copy of env so that the scope is restored.
102 env = copy.deepcopy(env)
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_mdns.c922 struct pico_mdns_record *record = NULL, *copy = NULL; local
934 /* Try to create a copy with a new name */
935 copy = pico_mdns_record_copy_with_new_name(record, "\4test\5local");
936 fail_if(!copy, "mdns_record_copy_with_new_name returned NULL!\n");
937 fail_unless(0 == strcmp(copy->record->rname, "\4test\5local"),
938 "mdns_record_copy_with_new_name didn't copy name right!\n");
939 fail_unless(strlen("\4test\5local") + 1 == copy->record->rname_length,
943 pico_mdns_record_delete((void **)&copy);
950 struct pico_mdns_record *record = NULL, *copy = NULL; local
962 /* Try to copy */
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py32 import copy namespace
180 'copy': copy,
357 kwargs['local'] = f[0].f_globals.copy()
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dx86_32.S162 je 16f # skip loop if nothing to copy
163 15: subl $4,%esi # pre-decrementing copy loop
/seL4-camkes-master/kernel/tools/
H A Dlex.py43 import copy namespace
164 c = copy.copy(self)
466 ldict = f.f_globals.copy()
/seL4-camkes-master/projects/musllibc/src/regex/
H A Dregcomp.c1675 tre_ast_node_t **copy, int *max_pos)
1681 tre_ast_node_t **result = copy;
1913 tre_ast_node_t *copy; local
1914 /* Remove tags from all but the last copy. */
1920 &pos_add, tag_directions, &copy,
1925 seq1 = tre_ast_new_catenation(mem, seq1, copy);
1927 seq1 = copy;
1948 tre_ast_node_t *tmp, *copy; local
1951 &pos_add, NULL, &copy, &max_pos);
1955 seq2 = tre_ast_new_catenation(mem, copy, seq
1673 tre_copy_ast(tre_mem_t mem, tre_stack_t *stack, tre_ast_node_t *ast, int flags, int *pos_add, tre_tag_direction_t *tag_directions, tre_ast_node_t **copy, int *max_pos) argument
[all...]
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dvalue.c435 int copy)
453 if(copy) {
433 json_array_grow(json_array_t *array, size_t amount, int copy) argument
/seL4-camkes-master/kernel/manual/parts/
H A Dio.tex328 \obj{VSpace\_cap} created by executing the above API. The copy of the
342 generates a copy of the \obj{seL4\_ARM\_CB} cap in kernel's internal
384 (deleting the copy of the assigned \obj{seL4\_ARM\_CB} cap)
479 stream ID cap, which should also have a copy of the context bank cap bound to
H A Dipc.tex89 This allows the user-level object-invocation stubs to copy the arguments passed in physical registers to
94 may wish to copy the message tag from its CPU register to this field, although
H A Dcspace.tex97 original copy remaining.
224 level. The third level on the left is a copy of the level 2 untyped
237 the mint method, a copy of the capability with a specific \emph{badge} can be

Completed in 401 milliseconds

12