Searched refs:dest (Results 1 - 25 of 219) sorted by relevance

123456789

/seL4-refos-master/libs/libmuslc/src/string/
H A Dstrcat.c3 char *strcat(char *restrict dest, const char *restrict src) argument
5 strcpy(dest + strlen(dest), src);
6 return dest;
H A Dwcscat.c3 wchar_t *wcscat(wchar_t *restrict dest, const wchar_t *restrict src) argument
5 wcscpy(dest + wcslen(dest), src);
6 return dest;
H A Dstrcpy.c5 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 Dswab.c6 char *dest = _dest; local
8 dest[0] = src[1];
9 dest[1] = src[0];
10 dest += 2;
H A Dmempcpy.c4 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 Dcapops.h37 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 Dcapops.h37 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 Dwcsxfrm.c7 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 Dstrxfrm.c7 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 Dtee.c5 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 Ddn_expand.c4 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.c4 void __aeabi_memclr(void *dest, size_t n) argument
6 memset(dest, 0, n);
H A D__aeabi_memcpy.c4 void __aeabi_memcpy(void *restrict dest, const void *restrict src, size_t n) argument
6 memcpy(dest, src, n);
H A D__aeabi_memmove.c4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument
6 memmove(dest, src, n);
H A D__aeabi_memset.c4 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.c4 void __aeabi_memclr(void *dest, size_t n) argument
6 memset(dest, 0, n);
H A D__aeabi_memcpy.c4 void __aeabi_memcpy(void *restrict dest, const void *restrict src, size_t n) argument
6 memcpy(dest, src, n);
H A D__aeabi_memmove.c4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument
6 memmove(dest, src, n);
H A D__aeabi_memset.c4 void __aeabi_memset(void *dest, size_t n, int c) argument
6 memset(dest, c, n);
/seL4-refos-master/kernel/include/
H A Dstring.h12 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 Dstrptime.c11 int i, w, neg, adj, min, range, *dest, dummy; local
35 dest = &tm->tm_wday;
40 dest = &tm->tm_mon;
49 dest = &century;
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 Dstring.c18 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 Ddevice.c16 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 Ddevice.c16 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 Dfpu.h62 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...]

Completed in 84 milliseconds

123456789