/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | error.c | 4 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 D | jansson_private.h | 75 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 D | build-env.mk | 22 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 D | stage2.py | 36 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 D | pico_mcast.c | 71 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 D | pico_ipv4.c | 424 /* 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 D | pico_socket_multicast.c | 29 * 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 D | testsel4_notification.py | 116 # 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 D | testmacros.py | 74 # 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 D | debug.h | 92 *@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 D | debug.h | 93 *@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 D | udp.h | 12 #define uh_sport source
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | cogent_validate.sh | 21 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 D | man-gen.pl | 80 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 D | bbl.c | 30 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 D | util.h | 40 if(strcmp(error.source, source_) != 0) { \ 43 fprintf(stderr, "source: \"%s\" != \"%s\"\n", error.source, source_); \
|
H A D | test_load_callback.c | 60 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 D | camkes_scope.py | 49 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 D | Renderer.py | 62 (source, filename, uptodate) = super( 65 return (source, filename, uptodate)
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_mld.tex | 22 \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 D | chap_api_igmp.tex | 22 \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 D | config.c | 5 * 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 D | Filelists.mk | 5 # 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 D | teststage1.py | 41 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 D | unit_ipv4.c | 9 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...] |