/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | strcat.c | 3 char *strcat(char *restrict dest, const char *restrict src) argument 5 strcpy(dest + strlen(dest), src); 6 return dest;
|
H A D | wcscat.c | 3 wchar_t *wcscat(wchar_t *restrict dest, const wchar_t *restrict src) argument 5 wcscpy(dest + wcslen(dest), src); 6 return dest;
|
H A D | strcpy.c | 5 char *strcpy(char *restrict dest, const char *restrict src) argument 8 __stpcpy(dest, src); 9 return dest; 12 unsigned char *d = dest; 14 return dest;
|
H A D | swab.c | 6 char *dest = _dest; local 8 dest[0] = src[1]; 9 dest[1] = src[0]; 10 dest += 2;
|
H A D | mempcpy.c | 4 void *mempcpy(void *dest, const void *src, size_t n) argument 6 return (char *)memcpy(dest, src, n) + n;
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | capops.h | 37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument 40 /* _service */ dest->root, 41 /* dest_index */ dest->capPtr, 42 /* destDepth */ dest->capDepth, 59 static inline int vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, argument 63 /* _service */ dest->root, 64 /* dest_index */ dest->capPtr, 65 /* destDepth */ dest->capDepth, 74 static inline int vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) argument 77 /* _service */ dest 86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument 118 vka_cnode_rotate(const cspacepath_t *dest, seL4_Word dest_badge, const cspacepath_t *pivot, seL4_Word pivot_badge, const cspacepath_t *src) argument 133 vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, const cspacepath_t *dest) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | capops.h | 37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument 40 /* _service */ dest->root, 41 /* dest_index */ dest->capPtr, 42 /* destDepth */ dest->capDepth, 59 static inline int vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, argument 63 /* _service */ dest->root, 64 /* dest_index */ dest->capPtr, 65 /* destDepth */ dest->capDepth, 74 static inline int vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) argument 77 /* _service */ dest 86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument 118 vka_cnode_rotate(const cspacepath_t *dest, seL4_Word dest_badge, const cspacepath_t *pivot, seL4_Word pivot_badge, const cspacepath_t *src) argument 133 vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, const cspacepath_t *dest) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | wcsxfrm.c | 7 size_t __wcsxfrm_l(wchar_t *restrict dest, const wchar_t *restrict src, size_t n, locale_t loc) argument 11 wmemcpy(dest, src, l+1); 13 wmemcpy(dest, src, n-1); 14 dest[n-1] = 0; 19 size_t wcsxfrm(wchar_t *restrict dest, const wchar_t *restrict src, size_t n) argument 21 return __wcsxfrm_l(dest, src, n, CURRENT_LOCALE);
|
H A D | strxfrm.c | 7 size_t __strxfrm_l(char *restrict dest, const char *restrict src, size_t n, locale_t loc) argument 10 if (n > l) strcpy(dest, src); 14 size_t strxfrm(char *restrict dest, const char *restrict src, size_t n) argument 16 return __strxfrm_l(dest, src, n, CURRENT_LOCALE);
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | tee.c | 5 ssize_t tee(int src, int dest, size_t len, unsigned flags) argument 7 return syscall(SYS_tee, src, dest, len, flags);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | dn_expand.c | 4 int __dn_expand(const unsigned char *base, const unsigned char *end, const unsigned char *src, char *dest, int space) argument 7 char *dend, *dbegin = dest; 10 dend = dest + (space > 254 ? 254 : space); 13 /* loop invariants: p<end, dest<dend */ 21 if (dest != dbegin) *dest++ = '.'; 23 if (j >= end-p || j >= dend-dest) return -1; 24 while (j--) *dest++ = *p++; 26 *dest = 0;
|
/seL4-refos-master/libs/libmuslc/src/string/arm/ |
H A D | __aeabi_memclr.c | 4 void __aeabi_memclr(void *dest, size_t n) argument 6 memset(dest, 0, n);
|
H A D | __aeabi_memcpy.c | 4 void __aeabi_memcpy(void *restrict dest, const void *restrict src, size_t n) argument 6 memcpy(dest, src, n);
|
H A D | __aeabi_memmove.c | 4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument 6 memmove(dest, src, n);
|
H A D | __aeabi_memset.c | 4 void __aeabi_memset(void *dest, size_t n, int c) argument 6 memset(dest, c, n);
|
/seL4-refos-master/libs/libmuslc/src/string/arm_sel4/ |
H A D | __aeabi_memclr.c | 4 void __aeabi_memclr(void *dest, size_t n) argument 6 memset(dest, 0, n);
|
H A D | __aeabi_memcpy.c | 4 void __aeabi_memcpy(void *restrict dest, const void *restrict src, size_t n) argument 6 memcpy(dest, src, n);
|
H A D | __aeabi_memmove.c | 4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument 6 memmove(dest, src, n);
|
H A D | __aeabi_memset.c | 4 void __aeabi_memset(void *dest, size_t n, int c) argument 6 memset(dest, c, n);
|
/seL4-refos-master/kernel/include/ |
H A D | string.h | 12 word_t strlcpy(char *dest, const char *src, word_t size); 13 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | strptime.c | 11 int i, w, neg, adj, min, range, *dest, dummy; local 35 dest = &tm->tm_wday; 40 dest = &tm->tm_mon; 49 dest = ¢ury; 54 dest = &tm->tm_mday; 63 dest = &tm->tm_hour; 68 dest = &tm->tm_hour; 73 dest = &tm->tm_yday; 78 dest = &tm->tm_mon; 84 dest [all...] |
/seL4-refos-master/kernel/src/ |
H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument 22 dest[len] = src[len]; 24 dest[len] = '\0'; 28 word_t strlcat(char *dest, const char *src, word_t size) argument 31 /* get to the end of dest */ 32 for (len = 0; len < size && dest[len]; len++); 33 /* check that dest was at least 'size' length to prevent inserting 37 dest[len] = *src; 39 dest[len] = '\0';
|
/seL4-refos-master/libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 16 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest); 22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 16 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest); 22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
/seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
H A D | fpu.h | 62 static inline void saveFpuState(user_fpu_state_t *dest) argument 65 asm volatile("fxsave %[dest]" : [dest] "=m"(*dest)); 67 asm volatile("xsaveopt %[dest]" : [dest] "=m"(*dest) : "d"(xsave_features_high()), "a"(xsave_features_low())); 69 asm volatile("xsave %[dest]" : [dest] "=m"(*dest) [all...] |