/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | swab.c | 5 const char *src = _src; local 8 dest[0] = src[1]; 9 dest[1] = src[0]; 11 src += 2;
|
H A D | strcpy.c | 5 char *strcpy(char *restrict dest, const char *restrict src) argument 8 __stpcpy(dest, src); 11 const unsigned char *s = src;
|
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;
|
H A D | strcat.c | 3 char *strcat(char *restrict dest, const char *restrict src) argument 5 strcpy(dest + strlen(dest), src);
|
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);
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | capops.h | 27 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 D | ipcbuffer.h | 21 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 D | cspacepath_t.h | 103 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 D | capops.h | 27 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 D | ipcbuffer.h | 21 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 D | cspacepath_t.h | 103 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 D | src.h | 13 #include <platsupport/src.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | src.h | 13 #include <platsupport/src.h>
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __string_read.c | 6 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 D | strxfrm.c | 7 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 D | wcsxfrm.c | 7 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 D | syscalls.h | 15 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 D | syscalls.h | 15 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 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/string/arm/ |
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);
|
/seL4-refos-master/libs/libmuslc/src/string/arm_sel4/ |
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);
|
/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/kernel/src/ |
H A D | string.c | 18 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;
|