/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | clock.h | 172 return clkbf_get(®s[c]->src[r], o * CLK_SRC_BITS, CLK_SRC_BITS); 184 exynos_cmu_set_src(clk_regs_io_t** regs, int clkid, int src) argument 189 clkbf_set(®s[c]->src[r], o * CLK_SRC_BITS, CLK_SRC_BITS, src);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | src.c | 12 #include <platsupport/src.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.h | 74 * Copies the tables from src to dst. Linkage is done on the fly. 76 * src must be a list of table regions that should be copied 87 * are generated to reflect the appropriate tables listed in src. 92 acpi_copy_tables(const RegionList_t* src, RegionList_t* dst);
|
/seL4-refos-master/libs/libvterm/include/vterm/ |
H A D | vterm.h | 139 int (*moverect)(VTermRect dest, VTermRect src, void *user); 152 int (*moverect)(VTermRect dest, VTermRect src, void *user); 245 int (*moverect)(VTermRect src, VTermRect dest, void *user), 250 VTermRect src, 251 void (*copycell)(VTermPos dest, VTermPos src, void *user),
|
/seL4-refos-master/projects/refos/impl/libs/libvterm/include/vterm/ |
H A D | vterm.h | 139 int (*moverect)(VTermRect dest, VTermRect src, void *user); 152 int (*moverect)(VTermRect dest, VTermRect src, void *user); 245 int (*moverect)(VTermRect src, VTermRect dest, void *user), 250 VTermRect src, 251 void (*copycell)(VTermPos dest, VTermPos src, void *user),
|
/seL4-refos-master/libs/libvterm/src/ |
H A D | screen.c | 198 static int moverect_internal(VTermRect dest, VTermRect src, void *user) argument 205 if(dest.start_row < src.start_row) { 208 .end_row = src.start_row, 214 else if(dest.start_row > src.start_row) { 216 .start_row = src.end_row, 224 if(dest.start_col < src.start_col) { 229 .end_col = src.start_col, 233 else if(dest.start_col > src.start_col) { 237 .start_col = src.end_col, 244 int cols = src 267 moverect_user(VTermRect dest, VTermRect src, void *user) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | screen.c | 198 static int moverect_internal(VTermRect dest, VTermRect src, void *user) argument 205 if(dest.start_row < src.start_row) { 208 .end_row = src.start_row, 214 else if(dest.start_row > src.start_row) { 216 .start_row = src.end_row, 224 if(dest.start_col < src.start_col) { 229 .end_col = src.start_col, 233 else if(dest.start_col > src.start_col) { 237 .start_col = src.end_col, 244 int cols = src 267 moverect_user(VTermRect dest, VTermRect src, void *user) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.top | 88 ( cd src ; $(MAKE) ) 186 cp src/$(GAME) $(GAMEDIR) 257 ( cd src ; $(MAKE) clean ) 263 ( cd src ; $(MAKE) spotless )
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.top | 88 ( cd src ; $(MAKE) ) 186 cp src/$(GAME) $(GAMEDIR) 257 ( cd src ; $(MAKE) clean ) 263 ( cd src ; $(MAKE) spotless )
|
/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | memcpy.c | 5 void *memcpy(void *restrict dest, const void *restrict src, size_t n) argument 8 const unsigned char *s = src;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 96 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 105 setRegister(dest, reg, getRegister(src, reg));
|
/seL4-refos-master/kernel/include/arch/riscv/arch/fastpath/ |
H A D | fastpath.h | 76 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 85 setRegister(dest, reg, getRegister(src, reg));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/ |
H A D | Makefile | 88 ( cd src ; $(MAKE) ) 186 cp src/$(GAME) $(GAMEDIR) 257 ( cd src ; $(MAKE) clean ) 263 ( cd src ; $(MAKE) spotless )
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 126 @param src Data source buffer. 131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/ |
H A D | Makefile | 88 ( cd src ; $(MAKE) ) 186 cp src/$(GAME) $(GAMEDIR) 257 ( cd src ; $(MAKE) clean ) 263 ( cd src ; $(MAKE) spotless )
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 126 @param src Data source buffer. 131 int procserv_frame_write(seL4_CPtr frame, const char* src, size_t len, size_t offset);
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | slab.c | 84 cspacepath_t src; local 85 vka_cspace_make_path(sdata->delegate, slab->objects[slab->next].cptr, &src); 86 if (vka_cnode_move(dest, &src) != seL4_NoError) {
|
H A D | elf.c | 40 char *src, size_t file_size, int num_regions, 125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos)); 144 src += nbytes; 38 load_segment(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, char *src, size_t file_size, int num_regions, sel4utils_elf_region_t regions[num_regions], int region_index) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 84 cspacepath_t src; local 85 vka_cspace_make_path(sdata->delegate, slab->objects[slab->next].cptr, &src); 86 if (vka_cnode_move(dest, &src) != seL4_NoError) {
|
H A D | elf.c | 40 char *src, size_t file_size, int num_regions, 125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos)); 144 src += nbytes; 38 load_segment(vspace_t *loadee_vspace, vspace_t *loader_vspace, vka_t *loadee_vka, vka_t *loader_vka, char *src, size_t file_size, int num_regions, sel4utils_elf_region_t regions[num_regions], int region_index) argument
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/elf/ |
H A D | elf.c | 262 uint64_t dest, src; local 270 src = (uint64_t) (uintptr_t) elfFile + elf_getProgramHeaderOffset(elfFile, i); 271 memcpy((void*) (uintptr_t) dest, (void*) (uintptr_t) src, len);
|
/seL4-refos-master/tools/elfloader/src/binaries/elf/ |
H A D | elf.c | 262 uint64_t dest, src; local 270 src = (uint64_t) (uintptr_t) elfFile + elf_getProgramHeaderOffset(elfFile, i); 271 memcpy((void*) (uintptr_t) dest, (void*) (uintptr_t) src, len);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | ns_parse.c | 164 const unsigned char *src, char *dst, size_t dstsiz) 167 r = dn_expand(msg, eom, src, dst, dstsiz); 163 ns_name_uncompress(const unsigned char *msg, const unsigned char *eom, const unsigned char *src, char *dst, size_t dstsiz) argument
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | uthash.h | 53 #define DECLTYPE_ASSIGN(dst,src) \ 56 *_da_dst = (char*)(src); \ 59 #define DECLTYPE_ASSIGN(dst,src) \ 61 (dst) = DECLTYPE(dst)(src); \ 1072 #define HASH_SELECT(hh_dst, dst, hh_src, src, cond) \ 1078 if ((src) != NULL) { \ 1079 for (_src_bkt=0; _src_bkt < (src)->hh_src.tbl->num_buckets; _src_bkt++) { \ 1080 for (_src_hh = (src)->hh_src.tbl->buckets[_src_bkt].hh_head; \ 1083 _elt = ELMT_FROM_HH((src)->hh_src.tbl, _src_hh); \
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | uthash.h | 53 #define DECLTYPE_ASSIGN(dst,src) \ 56 *_da_dst = (char*)(src); \ 59 #define DECLTYPE_ASSIGN(dst,src) \ 61 (dst) = DECLTYPE(dst)(src); \ 1072 #define HASH_SELECT(hh_dst, dst, hh_src, src, cond) \ 1078 if ((src) != NULL) { \ 1079 for (_src_bkt=0; _src_bkt < (src)->hh_src.tbl->num_buckets; _src_bkt++) { \ 1080 for (_src_hh = (src)->hh_src.tbl->buckets[_src_bkt].hh_head; \ 1083 _elt = ELMT_FROM_HH((src)->hh_src.tbl, _src_hh); \
|