| /seL4-refos-master/seL4_tools/misc/ |
| H A D | Makefile.cpio_strip | 8 cpio-strip: cpio-strip.c ${libcpio}/src/cpio.c ${libcpio}/include/cpio/cpio.h
10 ${Q}${CC} -W -Wall -Wextra -std=c99 -I${libcpio}/include cpio-strip.c ${libcpio}/src/cpio.c -o $@
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | strops.h | 15 void *memmove(void *dest, const void *src, size_t n);
16 void *memcpy(void *dest, const void *src, size_t n);
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
| H A D | setup.sh | 26 ln -s ../sys/unix/Makefile.src ../../src/Makefile
40 cp Makefile.src ../../src/Makefile
|
| /seL4-refos-master/apps/file_server/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
| H A D | setup.sh | 26 ln -s ../sys/unix/Makefile.src ../../src/Makefile
40 cp Makefile.src ../../src/Makefile
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | syscalls_master.h | 37 * @param[in] src The capability to be invoked.
51 seL4_Recv(seL4_CPtr src, seL4_Word *sender);
134 * @param[in] src The capability to be invoked.
148 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender);
189 * @param[in] src The capability to be invoked.
198 seL4_Wait(seL4_CPtr src, seL4_Word *sender);
212 * @param[in] src The capability to be invoked.
226 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | syscalls_master.h | 37 * @param[in] src The capability to be invoked.
51 seL4_Recv(seL4_CPtr src, seL4_Word *sender);
134 * @param[in] src The capability to be invoked.
148 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender);
189 * @param[in] src The capability to be invoked.
198 seL4_Wait(seL4_CPtr src, seL4_Word *sender);
212 * @param[in] src The capability to be invoked.
226 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | fpu.h | 78 static inline void loadFpuState(user_fpu_state_t *src) argument
81 asm volatile("fxrstor %[src]" :: [src] "m"(*src));
84 asm volatile("xrstors %[src]" :: [src] "m"(*src), "d"(xsave_features_high()), "a"(xsave_features_low()));
86 asm volatile("xrstor %[src]" :: [src] "m"(*src), "
[all...] |
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 35 cspacepath_t src; local
36 vka_cspace_make_path(src_vka, object->cptr, &src);
37 return vka_cnode_mint(result, &src, rights, badge);
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 35 cspacepath_t src; local
36 vka_cspace_make_path(src_vka, object->cptr, &src);
37 return vka_cnode_mint(result, &src, rights, badge);
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | cspaceops.h | 22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument
28 return vka_cnode_move(result, &src) != seL4_NoError;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | cspaceops.h | 22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument
28 return vka_cnode_move(result, &src) != seL4_NoError;
|
| /seL4-refos-master/libs/librefos/include/refos/ |
| H A D | share.h | 44 @param src Buffer containing content to write. (input, no ownership)
51 int refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize,
|
| /seL4-refos-master/projects/refos/impl/apps/selfloader/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/snake/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/terminal/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/test_os/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/tetris/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
| H A D | share.h | 44 @param src Buffer containing content to write. (input, no ownership)
51 int refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize,
|
| /seL4-refos-master/apps/selfloader/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/apps/snake/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/apps/terminal/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|
| /seL4-refos-master/apps/test_os/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
|