/seL4-test-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-test-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-test-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-test-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...] |
H A D | acpi.h | 74 * Copies the tables from src to dst. Linkage is done on the fly. 77 * dst must be a list of free regions for storing tables. 84 * On return, dst will reflect the location of duplicated tables. 92 acpi_copy_tables(const RegionList_t* src, RegionList_t* dst);
|
/seL4-test-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-test-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;
|
H A D | getifaddrs.c | 59 uint8_t *dst; local 64 dst = (uint8_t*) &sa->v4.sin_addr; 68 dst = (uint8_t*) &sa->v6.sin6_addr; 78 memcpy(dst, addr, len);
|
H A D | ns_parse.c | 164 const unsigned char *src, char *dst, size_t dstsiz) 167 r = dn_expand(msg, eom, src, dst, dstsiz); 163 ns_name_uncompress(const unsigned char *msg, const unsigned char *eom, const unsigned char *src, char *dst, size_t dstsiz) argument
|
/seL4-test-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-test-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-test-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-test-master/tools/seL4/misc/ |
H A D | whence.py | 98 dst = os.path.join(downstream.tmp, opts.downstream_subdir) 100 p = subprocess.Popen(['diff', src, dst], stdout=subprocess.PIPE)
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | uthash.h | 53 #define DECLTYPE_ASSIGN(dst,src) \ 55 char **_da_dst = (char**)(&(dst)); \ 59 #define DECLTYPE_ASSIGN(dst,src) \ 61 (dst) = DECLTYPE(dst)(src); \ 1072 #define HASH_SELECT(hh_dst, dst, hh_src, src, cond) \ 1077 ptrdiff_t _dst_hho = ((char*)(&(dst)->hh_dst) - (char*)(dst)); \ 1095 if ((dst) == NULL) { \ 1096 DECLTYPE_ASSIGN(dst, _el [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 46 uintptr_t dst = (uintptr_t) region.elf_vstart; local 67 void *loadee_vaddr = (void *)((seL4_Word)ROUND_DOWN(dst, PAGE_SIZE_4K)); 123 int nbytes = PAGE_SIZE_4K - (dst & PAGE_MASK_4K); 125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos)); 143 dst += nbytes;
|
/seL4-test-master/projects/musllibc/src/time/ |
H A D | __tz.c | 381 if (t >= t0 && t < t1) goto dst; 389 goto dst; 398 dst:
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 390 uint32_t ft, src, dst, pc; local 394 src = dst = 0; 399 dst = regs->axi[channel].dar; 431 printf("Write error to 0x%08x. ", dst); 638 "DMAMOV dst, 0x00000000;" /* Set destination */ 643 " DMAST" /* Store to dst */
|
/seL4-test-master/projects/musllibc/src/crypt/ |
H A D | crypt_blowfish.c | 365 #define BF_safe_atoi64(dst, src) \ 371 (dst) = tmp; \ 374 static int BF_decode(BF_word *dst, const char *src, int size) argument 376 unsigned char *dptr = (unsigned char *)dst; 398 static void BF_encode(char *dst, const BF_word *src, int size) argument 402 unsigned char *dptr = (unsigned char *)dst;
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 826 void copy_filename(char *dst, const char *src, int size);
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 846 void copy_filename(char *dst, const char *src, int size);
|