Searched refs:source (Results 1 - 25 of 60) sorted by relevance

123

/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Derror.c4 void jsonp_error_init(json_error_t *error, const char *source) argument
12 if(source)
13 jsonp_error_set_source(error, source);
15 error->source[0] = '\0';
19 void jsonp_error_set_source(json_error_t *error, const char *source) argument
23 if(!error || !source)
26 length = strlen(source);
28 strcpy(error->source, source);
31 strcpy(error->source, "
[all...]
H A Djansson_private.h75 void jsonp_error_init(json_error_t *error, const char *source);
76 void jsonp_error_set_source(json_error_t *error, const char *source);
/seL4-camkes-master/tools/cogent/
H A Dbuild-env.mk22 AC_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$AC_DIR")
23 ISABELLE:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE")
24 ISABELLE_BUILD:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$ISABELLE_BUILD")
26 PATH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$PATH")
27 COGENT_LIBGUM_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$COGENT_LIBGUM_DIR")
29 L4V_ARCH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$L4V_ARCH")
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage2.py36 def _resolve(self, source, filename, ast_raw, read):
39 ast_augmented = [(source, filename, t) for t in ast_raw.tail]
45 source, filename, item = queue.popleft()
103 final_ast_augmented.append((source, filename, item))
108 source, ast_raw, read = self.parse1.parse_file(filename)
109 return self._resolve(source, filename, ast_raw, read)
112 source, ast_raw, read = self.parse1.parse_string(string)
113 return self._resolve(source, None, ast_raw, read)
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mcast.c71 union pico_address *source; local
109 source = pico_tree_findKey(mcast->allow, index->keyValue);
110 if (source) {
111 pico_tree_delete(mcast->allow, source);
131 source = pico_tree_findKey(mcast->block, index->keyValue);
132 if (source) {
133 pico_tree_delete(mcast->block, source);
181 struct pico_ip6 *source = NULL; local
195 source = pico_tree_findKey(mcast->block, index->keyValue); /* B */
196 if (source) {
[all...]
H A Dpico_ipv4.c424 /* Validate source IP address. Discard quietly if invalid */
676 * MCASTSources: RBTree(source)
694 struct pico_ip4 *source = NULL; local
696 (void) source;
701 ip_mcast_dbg("+ nr | interface | host group | reference count | filter mode | source +\n");
708 source = index2->keyValue;
709 ip_mcast_dbg("+ %4s | %16s | %8s | %5s | %s | %08X +\n", "", "", "", "", "", source->addr);
719 struct pico_ip4 *source = NULL; local
722 source = index->keyValue;
723 pico_tree_delete(&g->MCASTSources, source);
812 struct pico_ip4 *source = NULL; local
[all...]
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket_multicast.c29 * MCASTSources: RBTree(source)
233 /* remove from the interface EXCLUDE filter any source not in the socket EXCLUDE filter */
235 union pico_address *source = NULL; local
239 source = pico_tree_findKey(&listen->MCASTSources, index->keyValue);
240 if (!source)
249 source = pico_tree_findKey(&listen->MCASTSources_ipv6, index->keyValue);
250 if (!source)
263 /* remove from the interface EXCLUDE filter any source in the socket INCLUDE filter */
265 union pico_address *source = NULL; local
269 source
294 union pico_address *source = NULL; local
354 union pico_address *source = NULL; local
845 union pico_address *source = NULL; local
1022 union pico_address *source = NULL; local
1068 union pico_address stest, *source = NULL; local
1125 union pico_address stest, *source = NULL; local
1196 union pico_address stest, *source = NULL; local
1293 union pico_address stest, *source = NULL; local
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/
H A Dtestsel4_notification.py116 # A brief prelude to the seL4Notification-to.template.c source to give it some types
125 Tweak the seL4Notification-to.template.c source to suppress some external
130 # Turn template variable definitions into source variable definitions.
136 # Turn template variable reference into source variable references.
156 Parse C source code into a pycparser AST.
188 def __init__(self, message, source, node=None):
190 # Compute a pretty printed version of the source code indicating the
193 for lineno, line in enumerate(source.split('\n')):
201 def check_termination(source, name, statements, accumulated=None, locks=0):
206 source
[all...]
H A Dtestmacros.py74 # First obtain a set of available macros by parsing the source of
78 source = f.read()
80 node = ast.parse(source, filename=macrospy)
126 source = input.read()
127 for m in call.finditer(source):
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h92 *@param source The memory block from which to load the register values.
94 static inline void loadBreakpointState(tcb_t *source)
120 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h93 *@param source The memory block from which to load the register values.
95 static inline void loadBreakpointState(tcb_t *source)
121 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
/seL4-camkes-master/projects/musllibc/include/netinet/
H A Dudp.h12 #define uh_sport source
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcogent_validate.sh21 source $TLD/build-env.sh || exit
239 for source in "$TESTS"/pass_*.cogent
241 echo -n "$source: "
242 f=$(basename "$source")
244 if check_output ">$COUT/$f" $COGENT --pretty-parse "$source" && \
266 for source in "$TESTS"/pass_*.cogent
268 echo -n " $(basename $source): "
270 if check_output $COGENT -t "$source" $TCFLAGS
276 for source in "$TESTS"/fail_*.cogent
278 echo -n " $(basename $source)
[all...]
H A Dman-gen.pl80 It is used to compile Cogent source code
84 has the same semantics as the source program
/seL4-camkes-master/tools/riscv-pk/bbl/
H A Dbbl.c30 static void filter_dtb(uintptr_t source) argument
33 uint32_t size = fdt_size(source);
34 memcpy((void*)dest, (void*)source, size);
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/
H A Dutil.h40 if(strcmp(error.source, source_) != 0) { \
43 fprintf(stderr, "source: \"%s\" != \"%s\"\n", error.source, source_); \
H A Dtest_load_callback.c60 if (strcmp(error.source, "<callback>") != 0) {
61 fail("json_load_callback returned an invalid error source");
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_scope.py49 def __init__(self, source):
51 self.source = source
57 lines = self.source.split('\n')
142 # Setup a stage 1 parser to translate the source(s) into a plyplus AST.
187 'source with CPP')
189 help='Do not pre-process the source with CPP')
208 parser.add_argument('source', default=os.getcwd(), help='file or '
212 if not os.path.exists(opts.source):
213 sys.stderr.write('%s does not exist\n' % opts.source)
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DRenderer.py62 (source, filename, uptodate) = super(
65 return (source, filename, uptodate)
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_mld.tex22 \item \texttt{filter\_mode} - the kind of source filtering, if applied.
23 \item \texttt{\_MCASTFilter} - list of multicast sources on which source filtering might be applied.
H A Dchap_api_igmp.tex22 \item \texttt{filter\_mode} - the kind of source filtering, if applied.
23 \item \texttt{\_MCASTFilter} - list of multicast sources on which source filtering might be applied.
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dconfig.c5 * Redistribution and use in source and binary forms, with or without
8 * 1. Redistributions of source code must retain the above copyright
547 const char *source, *origpath, *fstype; local
561 fstype = source = origpath = mp = path = NULL;
575 if (T_STREQ(key, data, "source")) {
576 source = valuestr;
589 if (!source || !path) {
593 if (strcmp(source, "dev") == 0) {
595 } else if (strcmp(source, "vnd") == 0) {
597 } else if (strcmp(source, "etf
[all...]
/seL4-camkes-master/projects/lwip/test/unit/
H A DFilelists.mk5 # Redistribution and use in source and binary forms, with or without modification,
8 # 1. Redistributions of source code must retain the above copyright notice,
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage1.py41 source, content, read = self.parser.parse_string('')
43 self.assertEqual(source, '')
49 source, content, read = self.parser.parse_string('component foo {}')
51 self.assertEqual(source, 'component foo {}')
64 source, content, read = self.parser.parse_string(
67 self.assertEqual(source,
152 source, content, read = self.parser.parse_string(
155 self.assertEqual(source,
243 source, content, read = self.parser.parse_string('component fo�� {}')
245 self.assertEqual(source, 'componen
[all...]
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_ipv4.c9 struct pico_ip4 a[IP_TST_SIZ], d[IP_TST_SIZ], *source[IP_TST_SIZ], nm16, nm32, gw[IP_TST_SIZ], r[IP_TST_SIZ], ret; local
45 source[i] = pico_ipv4_source_find(&d[i]);
46 fail_if(source[i]->addr != a[i].addr, "Error find source: returned wrong route");
164 /* perform outbound translation, check if source IP got translated */
166 fail_if(net->src.addr != link.address.addr, "source address not translated");
168 /* perform outbound translation of same packet, check if source IP and PORT got translated the same as previous packet */
173 fail_if(net->src.addr != link.address.addr, "source address not translated");
174 fail_if(udp->trans.sport != nat_port, "frames with the same source IP, source POR
383 union pico_address *source = NULL; local
[all...]

Completed in 161 milliseconds

123