/seL4-refos-master/libs/libsel4debug/include/sel4debug/ |
H A D | register_dump.h | 18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
H A D | register_dump.h | 18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | register_dump.c | 25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) argument 37 printf("%sRegister dump:\n", prefix); 39 printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | register_dump.c | 25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) argument 37 printf("%sRegister dump:\n", prefix); 39 printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 44 prefix = FN_DECL_PREFIX 53 return "%s\n%s %s %s(%s);" % (comment, prefix, return_type, name, param_list) 69 # figure out the prefix to use for an interface group id. This makes groups per arch, 71 prefix = None 76 (path, prefix) = os.path.split(path) 80 group_id = interface_name if prefix is None else prefix + '_' + interface_name
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | platform_sift.py | 193 # Set up a prefix for diagnostic messages. Diagnostics should always 197 prefix = "{pn}: file \"{fn}\":".format(pn=program_name, 201 sys.stderr.write("{} {}\n".format(prefix, problems[0])) 203 sys.stderr.write("{} has multiple problems:\n".format(prefix)) 204 [sys.stderr.write('{}\t{}\n'.format(prefix, p)) for p in problems]
|
/seL4-refos-master/libs/libmuslc/dist/ |
H A D | config.mak | 8 # Installation prefix. DO NOT use /, /usr, or /usr/local ! 9 prefix = /usr/local/musl macro 11 # Installation prefix for musl-gcc compiler wrapper.
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | zf_log.h | 130 #define _ZF_LOG_DECOR__(prefix, name) prefix ## name 131 #define _ZF_LOG_DECOR_(prefix, name) _ZF_LOG_DECOR__(prefix, name) 150 /* Set tag prefix. Prefix will be separated from the tag with dot ('.'). 154 void zf_log_set_tag_prefix(const char *const prefix);
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | zf_log.h | 130 #define _ZF_LOG_DECOR__(prefix, name) prefix ## name 131 #define _ZF_LOG_DECOR_(prefix, name) _ZF_LOG_DECOR__(prefix, name) 150 /* Set tag prefix. Prefix will be separated from the tag with dot ('.'). 154 void zf_log_set_tag_prefix(const char *const prefix);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | objnam.c | 496 The(), both of which correctly handle this "the " prefix */ 521 add_erosion_words(obj,prefix) 523 char *prefix; 535 case 2: Strcat(prefix, "very "); break; 536 case 3: Strcat(prefix, "thoroughly "); break; 538 Strcat(prefix, is_rustprone(obj) ? "rusty " : "burnt "); 542 case 2: Strcat(prefix, "very "); break; 543 case 3: Strcat(prefix, "thoroughly "); break; 545 Strcat(prefix, is_corrodeable(obj) ? "corroded " : 549 Strcat(prefix, 561 char prefix[PREFIX]; local 1023 char prefix[PREFIX]; local [all...] |
H A D | pline.c | 106 /* `prefix' must be a string literal, not a pointer */ 107 #define YouPrefix(pointer,prefix,text) \ 108 Strcpy((pointer = You_buf((int)(strlen(text) + sizeof prefix))), prefix) 110 #define YouMessage(pointer,prefix,text) \ 111 strcat((YouPrefix(pointer, prefix, text), pointer), text)
|
H A D | weapon.c | 858 const char *prefix; local 931 prefix = ""; /* will be preceded by menu choice */ 933 prefix = " * "; 935 prefix = " # "; 937 prefix = (to_advance + eventually_advance + 944 prefix, longest, P_NAME(i), sklnambuf, 949 prefix, P_NAME(i), sklnambuf, 957 prefix, longest, P_NAME(i), sklnambuf); 960 prefix, P_NAME(i), sklnambuf);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | objnam.c | 496 The(), both of which correctly handle this "the " prefix */ 521 add_erosion_words(obj,prefix) 523 char *prefix; 535 case 2: Strcat(prefix, "very "); break; 536 case 3: Strcat(prefix, "thoroughly "); break; 538 Strcat(prefix, is_rustprone(obj) ? "rusty " : "burnt "); 542 case 2: Strcat(prefix, "very "); break; 543 case 3: Strcat(prefix, "thoroughly "); break; 545 Strcat(prefix, is_corrodeable(obj) ? "corroded " : 549 Strcat(prefix, 561 char prefix[PREFIX]; local 1023 char prefix[PREFIX]; local [all...] |
H A D | pline.c | 106 /* `prefix' must be a string literal, not a pointer */ 107 #define YouPrefix(pointer,prefix,text) \ 108 Strcpy((pointer = You_buf((int)(strlen(text) + sizeof prefix))), prefix) 110 #define YouMessage(pointer,prefix,text) \ 111 strcat((YouPrefix(pointer, prefix, text), pointer), text)
|
H A D | weapon.c | 858 const char *prefix; local 931 prefix = ""; /* will be preceded by menu choice */ 933 prefix = " * "; 935 prefix = " # "; 937 prefix = (to_advance + eventually_advance + 944 prefix, longest, P_NAME(i), sklnambuf, 949 prefix, P_NAME(i), sklnambuf, 957 prefix, longest, P_NAME(i), sklnambuf); 960 prefix, P_NAME(i), sklnambuf);
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 118 void clk_print_tree(clk_t *clk, const char *prefix) argument 120 int depth = strlen(prefix); 122 strcpy(&new_prefix[0], prefix);
|
H A D | clock.h | 67 * The prefix should be based on the depth of the current root. When calling this 68 * funtion for the first time, pass "" for prefix. The prefix will be ammended 71 * @param[in] prefix A string prefix to print before each line 73 void clk_print_tree(clk_t* clk, const char* prefix);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 118 void clk_print_tree(clk_t *clk, const char *prefix) argument 120 int depth = strlen(prefix); 122 strcpy(&new_prefix[0], prefix);
|
H A D | clock.h | 67 * The prefix should be based on the depth of the current root. When calling this 68 * funtion for the first time, pass "" for prefix. The prefix will be ammended 71 * @param[in] prefix A string prefix to print before each line 73 void clk_print_tree(clk_t* clk, const char* prefix);
|
/seL4-refos-master/kernel/src/machine/ |
H A D | io.c | 281 const char *prefix; local 403 prefix = "-+ 0X0x"; 463 prefix += (t >> 4); 479 prefix++; 481 prefix += 2; 516 out(f, prefix, pl);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | vfprintf.c | 213 const char *prefix="-0X+0X 0X-0x+0x 0x"; local 221 prefix+=3; 223 prefix+=6; 224 } else prefix++, pl=0; 230 out(f, prefix, pl); 243 if (t&32) prefix += 9; 251 if (*prefix=='-') { 283 out(f, prefix, pl); 353 if (pl && *prefix=='-') round*=-1, small*=-1; 406 out(f, prefix, p 466 const char *prefix; local [all...] |
/seL4-refos-master/libs/libmuslc/ |
H A D | Makefile | 57 configure_line := --srcdir=${SOURCE_DIR} --prefix=${STAGE_DIR} ${ENABLE_DEBUG} \
|
H A D | configure | 16 --prefix=PREFIX main installation prefix [/usr/local/musl] 17 --exec-prefix=EPREFIX installation prefix for executable files [PREFIX] 42 CROSS_COMPILE prefix for cross compiler and tools [none] 125 prefix=/usr/local/musl 126 exec_prefix='$(prefix)' 128 libdir='$(prefix)/lib' 129 includedir='$(prefix)/include' 149 --prefix [all...] |
H A D | Makefile.muslc | 15 prefix = /usr/local/musl 16 includedir = $(prefix)/include 17 libdir = $(prefix)/lib 193 sed -e 's!@CC@!$(WRAPCC_CLANG)!g' -e 's!@PREFIX@!$(prefix)!g' -e 's!@INCDIR@!$(includedir)!g' -e 's!@LIBDIR@!$(libdir)!g' -e 's!@LDSO@!$(LDSO_PATHNAME)!g' $< > $@ 229 git --git-dir=$(srcdir)/.git archive --format=tar.gz --prefix=$(patsubst %.tar.gz,%,$@)/ -o $@ $(patsubst musl-git-%.tar.gz,%,$@) 232 git --git-dir=$(srcdir)/.git archive --format=tar.gz --prefix=$(patsubst %.tar.gz,%,$@)/ -o $@ v$(patsubst musl-%.tar.gz,%,$@)
|
/seL4-refos-master/libs/libutils/src/ |
H A D | zf_log.c | 398 void zf_log_set_tag_prefix(const char *const prefix) argument 400 g_tag_prefix = prefix;
|