Searched refs:prefix (Results 1 - 25 of 42) sorted by relevance

12

/seL4-refos-master/libs/libsel4debug/include/sel4debug/
H A Dregister_dump.h18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Dregister_dump.h18 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix);
/seL4-refos-master/libs/libsel4debug/src/
H A Dregister_dump.c25 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 Dregister_dump.c25 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 Dgen_invocations.py44 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 Dplatform_sift.py193 # 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 Dconfig.mak8 # 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 Dzf_log.h130 #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 Dzf_log.h130 #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 Dobjnam.c496 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 Dpline.c106 /* `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 Dweapon.c858 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 Dobjnam.c496 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 Dpline.c106 /* `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 Dweapon.c858 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 Dclock.c118 void clk_print_tree(clk_t *clk, const char *prefix) argument
120 int depth = strlen(prefix);
122 strcpy(&new_prefix[0], prefix);
H A Dclock.h67 * 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 Dclock.c118 void clk_print_tree(clk_t *clk, const char *prefix) argument
120 int depth = strlen(prefix);
122 strcpy(&new_prefix[0], prefix);
H A Dclock.h67 * 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 Dio.c281 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 Dvfprintf.c213 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 DMakefile57 configure_line := --srcdir=${SOURCE_DIR} --prefix=${STAGE_DIR} ${ENABLE_DEBUG} \
H A Dconfigure16 --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 DMakefile.muslc15 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 Dzf_log.c398 void zf_log_set_tag_prefix(const char *const prefix) argument
400 g_tag_prefix = prefix;

Completed in 206 milliseconds

12