Searched refs:src (Results 1 - 25 of 215) sorted by relevance

123456789

/seL4-refos-master/libs/libmuslc/src/string/
H A Dswab.c5 const char *src = _src; local
8 dest[0] = src[1];
9 dest[1] = src[0];
11 src += 2;
H A Dstrcpy.c5 char *strcpy(char *restrict dest, const char *restrict src) argument
8 __stpcpy(dest, src);
11 const unsigned char *s = src;
H A Dmempcpy.c4 void *mempcpy(void *dest, const void *src, size_t n) argument
6 return (char *)memcpy(dest, src, n) + n;
H A Dstrcat.c3 char *strcat(char *restrict dest, const char *restrict src) argument
5 strcpy(dest + strlen(dest), src);
H A Dwcscat.c3 wchar_t *wcscat(wchar_t *restrict dest, const wchar_t *restrict src) argument
5 wcscpy(dest + wcslen(dest), src);
/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dcapops.h27 static inline int vka_cnode_saveCaller(const cspacepath_t *src) argument
30 /* _service */ src->root,
31 /* index */ src->capPtr,
32 /* depth */ src->capDepth
37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument
43 /* src_root */ src->root,
44 /* src_index */ src->capPtr,
45 /* src_depth */ src->capDepth,
50 static inline int vka_cnode_delete(const cspacepath_t *src) argument
53 /* _service */ src
59 vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights, seL4_Word badge) argument
74 vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) argument
86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument
100 vka_cnode_cancelBadgedSends(const cspacepath_t *src) argument
109 vka_cnode_revoke(const cspacepath_t *src) 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
[all...]
H A Dipcbuffer.h21 static inline void vka_set_cap_receive_path(const cspacepath_t *src) argument
24 /* _service */ src->root,
25 /* index */ src->capPtr,
26 /* depth */ src->capDepth
H A Dcspacepath_t.h103 inline static void cspacepath_t_print(const cspacepath_t* src) argument
105 (void)(src);
106 CSPACEPATHPRINT("capPtr: 0x%" PRIxPTR "\n", src->capPtr);
107 CSPACEPATHPRINT("capDepth: 0x%" PRIxPTR "\n", src->capDepth);
108 CSPACEPATHPRINT("root: 0x%" PRIxPTR "\n", src->root);
109 CSPACEPATHPRINT("dest: 0x%" PRIxPTR "\n", src->dest);
110 CSPACEPATHPRINT("destDepth: 0x%" PRIxPTR "\n", src->destDepth);
111 CSPACEPATHPRINT("offset: 0x%" PRIxPTR "\n", src->offset);
112 CSPACEPATHPRINT("window: 0x%" PRIxPTR "\n", src->window);
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dcapops.h27 static inline int vka_cnode_saveCaller(const cspacepath_t *src) argument
30 /* _service */ src->root,
31 /* index */ src->capPtr,
32 /* depth */ src->capDepth
37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument
43 /* src_root */ src->root,
44 /* src_index */ src->capPtr,
45 /* src_depth */ src->capDepth,
50 static inline int vka_cnode_delete(const cspacepath_t *src) argument
53 /* _service */ src
59 vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights, seL4_Word badge) argument
74 vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) argument
86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument
100 vka_cnode_cancelBadgedSends(const cspacepath_t *src) argument
109 vka_cnode_revoke(const cspacepath_t *src) 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
[all...]
H A Dipcbuffer.h21 static inline void vka_set_cap_receive_path(const cspacepath_t *src) argument
24 /* _service */ src->root,
25 /* index */ src->capPtr,
26 /* depth */ src->capDepth
H A Dcspacepath_t.h103 inline static void cspacepath_t_print(const cspacepath_t* src) argument
105 (void)(src);
106 CSPACEPATHPRINT("capPtr: 0x%" PRIxPTR "\n", src->capPtr);
107 CSPACEPATHPRINT("capDepth: 0x%" PRIxPTR "\n", src->capDepth);
108 CSPACEPATHPRINT("root: 0x%" PRIxPTR "\n", src->root);
109 CSPACEPATHPRINT("dest: 0x%" PRIxPTR "\n", src->dest);
110 CSPACEPATHPRINT("destDepth: 0x%" PRIxPTR "\n", src->destDepth);
111 CSPACEPATHPRINT("offset: 0x%" PRIxPTR "\n", src->offset);
112 CSPACEPATHPRINT("window: 0x%" PRIxPTR "\n", src->window);
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.h13 #include <platsupport/src.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.h13 #include <platsupport/src.h>
/seL4-refos-master/libs/libmuslc/src/stdio/
H A D__string_read.c6 char *src = f->cookie; local
8 char *end = memchr(src, 0, k);
9 if (end) k = end-src;
11 memcpy(buf, src, len);
12 f->rpos = (void *)(src+len);
13 f->rend = (void *)(src+k);
14 f->cookie = src+k;
/seL4-refos-master/libs/libmuslc/src/locale/
H A Dstrxfrm.c7 size_t __strxfrm_l(char *restrict dest, const char *restrict src, size_t n, locale_t loc) argument
9 size_t l = strlen(src);
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);
H A Dwcsxfrm.c7 size_t __wcsxfrm_l(wchar_t *restrict dest, const wchar_t *restrict src, size_t n, locale_t loc) argument
9 size_t l = wcslen(src);
11 wmemcpy(dest, src, l+1);
13 wmemcpy(dest, src, n-1);
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);
/seL4-refos-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
17 return seL4_NBWait(src, sender);
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
22 seL4_Recv(src, sender);
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
26 return seL4_NBRecv(src, sender);
/seL4-refos-master/libs/libsel4/arch_include/x86/sel4/arch/
H A Dsyscalls.h15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
17 return seL4_NBWait(src, sender);
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
22 seL4_Recv(src, sender);
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
26 return seL4_NBRecv(src, sender);
/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/string/arm/
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);
/seL4-refos-master/libs/libmuslc/src/string/arm_sel4/
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);
/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/kernel/src/
H A Dstring.c18 word_t strlcpy(char *dest, const char *src, word_t size) argument
21 for (len = 0; len + 1 < size && src[len]; len++) {
22 dest[len] = src[len];
28 word_t strlcat(char *dest, const char *src, word_t size) argument
36 for (; len + 1 < size && *src; len++, src++) {
37 dest[len] = *src;

Completed in 128 milliseconds

123456789