/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | ipcbuffer.h | 21 static inline void vka_set_cap_receive_path(const cspacepath_t *src) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | ipcbuffer.h | 21 static inline void vka_set_cap_receive_path(const cspacepath_t *src) argument
|
/seL4-refos-master/libs/libmuslc/src/multibyte/ |
H A D | mbtowc.c | 6 int mbtowc(wchar_t *restrict wc, const char *restrict src, size_t n) argument
|
H A D | mbrtowc.c | 6 size_t mbrtowc(wchar_t *restrict wc, const char *restrict src, size_t n, mbstate_t *restrict st) argument
|
H A D | mbsrtowcs.c | 8 size_t mbsrtowcs(wchar_t *restrict ws, const char **restrict src, size_t wn, mbstate_t *restrict st) argument
|
/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
|
H A D | __aeabi_memmove.c | 4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument
|
/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
|
H A D | __aeabi_memmove.c | 4 void __aeabi_memmove(void *dest, const void *src, size_t n) argument
|
/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | mempcpy.c | 4 void *mempcpy(void *dest, const void *src, size_t n) argument
|
H A D | strcat.c | 3 char *strcat(char *restrict dest, const char *restrict src) argument
|
H A D | strcpy.c | 5 char *strcpy(char *restrict dest, const char *restrict src) argument
|
H A D | wcscat.c | 3 wchar_t *wcscat(wchar_t *restrict dest, const wchar_t *restrict src) argument
|
H A D | memmove.c | 7 void *memmove(void *dest, const void *src, size_t n) argument
|
H A D | swab.c | 5 const char *src = _src; local
|
H A D | memchr.c | 11 void *memchr(const void *src, int c, size_t n) argument
|
H A D | memcpy.c | 5 void *memcpy(void *restrict dest, const void *restrict src, size_t n) argument
|
/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 20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument 24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
|
/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 20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument 24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
|
/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 14 size_t strxfrm(char *restrict dest, const char *restrict src, size_t n) argument
|
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 19 size_t wcsxfrm(wchar_t *restrict dest, const wchar_t *restrict src, size_t n) argument
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __string_read.c | 6 char *src = f->cookie; local
|
H A D | fwrite.c | 28 size_t fwrite(const void *restrict src, size_t size, size_t nmemb, FILE *restrict f) argument
|
H A D | vswscanf.c | 7 const wchar_t *src = f->cookie; local
|
/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
|