/seL4-refos-master/apps/test_user/ |
H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
/seL4-refos-master/apps/tetris/ |
H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 15 #include <platsupport/plat/src.h>
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/clock/ |
H A D | exynos_5422_clock.h | 19 volatile uint32_t src[64]; /* 0x200 */ member in struct:clk_regs
|
H A D | exynos_common_clock.h | 19 volatile uint32_t src[64]; /* 0x200 */ member in struct:clk_regs
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | src.h | 15 #include <platsupport/plat/src.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/clock/ |
H A D | exynos_5422_clock.h | 19 volatile uint32_t src[64]; /* 0x200 */ member in struct:clk_regs
|
H A D | exynos_common_clock.h | 19 volatile uint32_t src[64]; /* 0x200 */ member in struct:clk_regs
|
/seL4-refos-master/libs/libmuslc/src/multibyte/ |
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 10 const unsigned char *s = (const void *)*src; 27 *src = (const void *)s; 36 *src = 0; 69 *src = (const void *)s; 107 *src = 0; 112 if (ws) *src = (const void *)s;
|
H A D | mbtowc.c | 6 int mbtowc(wchar_t *restrict wc, const char *restrict src, size_t n) argument 9 const unsigned char *s = (const void *)src;
|
H A D | mbsnrtowcs.c | 3 size_t mbsnrtowcs(wchar_t *restrict wcs, const char **restrict src, size_t n, size_t wn, mbstate_t *restrict st) argument 7 const char *s = *src; 51 if (wcs) *src = s;
|
/seL4-refos-master/libs/librefos/src/ |
H A D | share.c | 96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, argument 99 assert(src != NULL); 105 if (!src || !bufVaddr || !end) { 118 memcpy(bufBase + *end, src, len); 122 memcpy(bufBase + *end, src, endBytes); 126 memcpy(bufBase, src + endBytes, len - endBytes);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
H A D | share.c | 96 refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize, argument 99 assert(src != NULL); 105 if (!src || !bufVaddr || !end) { 118 memcpy(bufBase + *end, src, len); 122 memcpy(bufBase + *end, src, endBytes); 126 memcpy(bufBase, src + endBytes, len - endBytes);
|
/seL4-refos-master/libs/libmuslc/ |
H A D | Makefile.muslc | 20 SRC_DIRS = $(addprefix $(srcdir)/,src/* crt ldso) 30 LIBC_OBJS = $(filter obj/src/%,$(ALL_OBJS)) 37 GENH_INT = obj/src/internal/version.h 38 IMPH = $(addprefix $(srcdir)/, src/internal/stdio_impl.h src/internal/pthread_impl.h src/internal/libc.h) 49 CFLAGS_ALL += -D_XOPEN_SOURCE=700 -I$(srcdir)/arch/$(ARCH) -I$(srcdir)/arch/generic -Iobj/src/internal -I$(srcdir)/src/internal -Iobj/include -I$(srcdir)/include 103 obj/src/internal/version.h: $(wildcard $(srcdir)/VERSION $(srcdir)/.git) 106 obj/src/interna [all...] |
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | dn_comp.c | 58 int __dn_comp(const char *src, unsigned char *dst, int space, unsigned char **dnptrs, unsigned char **lastdnptr) argument 64 size_t l = strnlen(src, 255); 65 if (l && src[l-1] == '.') l--; 71 end = src+l; 72 n = getlens(lens, src, l); 88 memcpy(dst+1, src, l-bestlen);
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | string.c | 93 void *memmove(void *restrict dest, const void *restrict src, size_t n) argument 96 const unsigned char *s = (const unsigned char *)src; 104 return memcpy(dest, src, n); 108 return memcpy(dest, src, n); 120 void *memcpy(void *restrict dest, const void *restrict src, size_t n) argument 123 const unsigned char *s = (const unsigned char *)src; 125 /* For ARM, we also need to consider if src is aligned. * 127 * and src are copy_unit-aligned. (2) If (rs == rd && rs != 0), * 128 * src and dest can be made copy_unit-aligned by copying rs bytes *
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | string.c | 93 void *memmove(void *restrict dest, const void *restrict src, size_t n) argument 96 const unsigned char *s = (const unsigned char *)src; 104 return memcpy(dest, src, n); 108 return memcpy(dest, src, n); 120 void *memcpy(void *restrict dest, const void *restrict src, size_t n) argument 123 const unsigned char *s = (const unsigned char *)src; 125 /* For ARM, we also need to consider if src is aligned. * 127 * and src are copy_unit-aligned. (2) If (rs == rd && rs != 0), * 128 * src and dest can be made copy_unit-aligned by copying rs bytes *
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.utl | 100 OBJDIR = ../src 125 # timestamps for primary header files, matching src/Makefile 126 CONFIG_H = ../src/config.h-t 127 HACK_H = ../src/hack.h-t 138 CMONOBJ = ../src/monst.c ../src/objects.c 141 CNAMING = ../src/drawing.c ../src/decl.c $(CMONOBJ) 144 CALLOC = ../src/alloc.c panic.c 190 ../src/monst [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.utl | 100 OBJDIR = ../src 125 # timestamps for primary header files, matching src/Makefile 126 CONFIG_H = ../src/config.h-t 127 HACK_H = ../src/hack.h-t 138 CMONOBJ = ../src/monst.c ../src/objects.c 141 CNAMING = ../src/drawing.c ../src/decl.c $(CMONOBJ) 144 CALLOC = ../src/alloc.c panic.c 190 ../src/monst [all...] |
/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | memchr.c | 11 void *memchr(const void *src, int c, size_t n) argument 13 const unsigned char *s = src;
|
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | ipc_state.h | 57 seL4_Word *src = (seL4_Word *) ipcBuf; local 60 asm volatile ("movq %0, %%fs:0(,%1,0x8)" :: "r"(*(src + i)), "r"(i) : "memory"); 62 asm volatile ("movl %0, %%fs:0(,%1,0x4)" :: "r"(*(src + i)), "r"(i) : "memory");
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | ipc_state.h | 57 seL4_Word *src = (seL4_Word *) ipcBuf; local 60 asm volatile ("movq %0, %%fs:0(,%1,0x8)" :: "r"(*(src + i)), "r"(i) : "memory"); 62 asm volatile ("movl %0, %%fs:0(,%1,0x4)" :: "r"(*(src + i)), "r"(i) : "memory");
|
/seL4-refos-master/libs/libvterm/src/ |
H A D | vterm.c | 222 int (*moverect)(VTermRect src, VTermRect dest, void *user), 226 VTermRect src; local 238 * src: [----------------] 243 src.start_col = rect.start_col + rightward; 244 src.end_col = rect.end_col; 248 * src: [----------------] 254 src.start_col = rect.start_col; 255 src.end_col = rect.end_col - leftward; 261 src.start_row = rect.start_row + downward; 262 src 219 vterm_scroll_rect(VTermRect rect, int downward, int rightward, int (*moverect)(VTermRect src, VTermRect dest, void *user), int (*eraserect)(VTermRect rect, int selective, void *user), void *user) argument 288 vterm_copy_cells(VTermRect dest, VTermRect src, void (*copycell)(VTermPos dest, VTermPos src, void *user), void *user) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | vterm.c | 222 int (*moverect)(VTermRect src, VTermRect dest, void *user), 226 VTermRect src; local 238 * src: [----------------] 243 src.start_col = rect.start_col + rightward; 244 src.end_col = rect.end_col; 248 * src: [----------------] 254 src.start_col = rect.start_col; 255 src.end_col = rect.end_col - leftward; 261 src.start_row = rect.start_row + downward; 262 src 219 vterm_scroll_rect(VTermRect rect, int downward, int rightward, int (*moverect)(VTermRect src, VTermRect dest, void *user), int (*eraserect)(VTermRect rect, int selective, void *user), void *user) argument 288 vterm_copy_cells(VTermRect dest, VTermRect src, void (*copycell)(VTermPos dest, VTermPos src, void *user), void *user) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 89 create_copy_region(const Region_t* src, RegionList_t* dlist, argument 92 int index = split_available(dlist, src->size, force_ptr); 95 dst->type = src->type; 97 memcpy(dst->start, src->start, src->size); 116 const Region_t *src; local 124 src = &slist->regions[table_index]; 125 ZF_LOGD("copy -> %s\n", acpi_sig_str(src->type)); 126 switch (src->type) { 129 index = create_copy_region(src, dlis [all...] |