| /seL4-refos-master/libs/librefossys/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/arch/${ARCH}/*.c))
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/arch/${ARCH}/*.c))
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | syscalls_mcs.h | 37 * @param[in] src The capability to be invoked.
52 seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
97 * @param[in] src The capability to perform the receive on.
114 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply);
125 * @param[in] src The capability to receive on.
140 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
159 * @param[in] src The capability to receive on.
168 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
186 * @param[in] src The capability to receive on.
193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Wor
[all...] |
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | syscalls_mcs.h | 37 * @param[in] src The capability to be invoked.
52 seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
97 * @param[in] src The capability to perform the receive on.
114 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply);
125 * @param[in] src The capability to receive on.
140 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
159 * @param[in] src The capability to receive on.
168 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply);
186 * @param[in] src The capability to receive on.
193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Wor
[all...] |
| /seL4-refos-master/libs/librefos/ |
| 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/libs/libvterm/ |
| 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/libs/libdatastruct/ |
| 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/libs/librefos/ |
| 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/libs/libvterm/ |
| 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/libs/libdatastruct/ |
| 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/seL4_tools/elfloader-tool/include/ |
| H A D | vargs.h | 19 #define va_copy(dest, src) __builtin_va_copy(dest, src)
|
| 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/tools/elfloader/include/ |
| H A D | vargs.h | 19 #define va_copy(dest, src) __builtin_va_copy(dest, src)
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
20 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*/*.c))
21 HDRFILES += $(wildcard ${SOURCE_DIR}/src/nethack-3.4.3/include/*)
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/ |
| H A D | Makefile | 20 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
21 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
22 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
23 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/plat/${PLAT}/*.c))
24 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/arch/${ARCH}/*.c))
|
| /seL4-refos-master/apps/nethack/ |
| H A D | Makefile | 17 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
18 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
20 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*/*.c))
21 HDRFILES += $(wildcard ${SOURCE_DIR}/src/nethack-3.4.3/include/*)
|
| /seL4-refos-master/apps/process_server/ |
| H A D | Makefile | 20 CFILES := $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*.c))
21 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*.c))
22 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
23 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/plat/${PLAT}/*.c))
24 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/arch/${ARCH}/*.c))
|
| /seL4-refos-master/libs/libvterm/src/ |
| H A D | rect.h | 8 /* Expand dst to contain src as well */
9 static void rect_expand(VTermRect *dst, VTermRect *src) argument
11 if(dst->start_row > src->start_row) dst->start_row = src->start_row;
12 if(dst->start_col > src->start_col) dst->start_col = src->start_col;
13 if(dst->end_row < src->end_row) dst->end_row = src->end_row;
14 if(dst->end_col < src->end_col) dst->end_col = src
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | rect.h | 8 /* Expand dst to contain src as well */
9 static void rect_expand(VTermRect *dst, VTermRect *src) argument
11 if(dst->start_row > src->start_row) dst->start_row = src->start_row;
12 if(dst->start_col > src->start_col) dst->start_col = src->start_col;
13 if(dst->end_row < src->end_row) dst->end_row = src->end_row;
14 if(dst->end_col < src->end_col) dst->end_col = src
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/console_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))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
|
| /seL4-refos-master/projects/refos/impl/apps/timer_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))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
|
| /seL4-refos-master/apps/console_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))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
|
| /seL4-refos-master/apps/timer_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))
19 CFILES += $(patsubst $(SOURCE_DIR)/%,%,$(wildcard $(SOURCE_DIR)/src/*/*/*.c))
|
| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | dn_expand.c | 4 int __dn_expand(const unsigned char *base, const unsigned char *end, const unsigned char *src, char *dest, int space) argument
6 const unsigned char *p = src;
17 if (len < 0) len = p+2-src;
27 if (len < 0) len = p+1-src;
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | vswscanf.c | 7 const wchar_t *src = f->cookie; local
10 if (!src) return 0;
12 k = wcsrtombs((void *)f->buf, &src, f->buf_size, 0);
20 f->cookie = (void *)src;
|