/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_copy.c | 14 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 D | sys_io.c | 48 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 D | virtio_console_emul.c | 45 /* 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 D | virtio_net_emul.c | 69 /* 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 D | virtqueueScript.sml | 57 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 D | stage7.py | 31 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 D | mapping.c | 120 /* 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, ©_path); 152 vka_cspace_free(vka, copy);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | walker.c | 125 /* 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 D | pico_mdns.c | 477 * @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 D | pico_dns_common.c | 668 * @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 D | pico_6lowpan.c | 1079 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 D | pico_device.c | 459 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 D | Makefile | 12 NAME=file-copy
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | dir.c | 1220 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 D | fatent.c | 385 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 D | testspec.py | 13 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 D | modunit_pico_mdns.c | 922 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 **)©); 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 D | Context.py | 32 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 D | x86_32.S | 162 je 16f # skip loop if nothing to copy 163 15: subl $4,%esi # pre-decrementing copy loop
|
/seL4-camkes-master/kernel/tools/ |
H A D | lex.py | 43 import copy namespace 164 c = copy.copy(self) 466 ldict = f.f_globals.copy()
|
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | regcomp.c | 1675 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, ©, 1925 seq1 = tre_ast_new_catenation(mem, seq1, copy); 1927 seq1 = copy; 1948 tre_ast_node_t *tmp, *copy; local 1951 &pos_add, NULL, ©, &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 D | value.c | 435 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 D | io.tex | 328 \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 D | ipc.tex | 89 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 D | cspace.tex | 97 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
|