Searched refs:values (Results 1 - 25 of 28) sorted by relevance

12

/seL4-refos-master/libs/libmuslc/src/conf/
H A Dfpathconf.c7 static const short values[] = { local
30 if (name >= sizeof(values)/sizeof(values[0])) {
34 return values[name];
H A Dsysconf.c26 static const short values[] = { local
169 if (name >= sizeof(values)/sizeof(values[0]) || !values[name]) {
172 } else if (values[name] >= -1) {
173 return values[name];
174 } else if (values[name] < -256) {
176 getrlimit(values[name]&16383, &lim);
180 switch ((unsigned char)values[name]) {
214 return values[nam
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dsel4bench.h124 ccnt_t* values = (ccnt_t*)args[1]; local
128 values[0] = sel4bench_private_get_pmn0();
131 values[1] = sel4bench_private_get_pmn1();
216 static FASTFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t* values)
219 assert(values); //NULL guard -- because otherwise we'll get a kernel fault
221 uint32_t args[2] = {mask, (uint32_t)values};
223 //entry 1: in = values
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dsel4bench.h128 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
141 values[counter] = sel4bench_private_read_pmcnt(); //and read its value
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dsel4bench.h120 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
133 values[counter] = sel4bench_private_read_pmcnt(); //and read its value
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/
H A Dsel4bench.h127 static inline ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
134 values[counter] = sel4bench_get_counter(counter);
/seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dsel4bench.h139 * `values` must point to an array of a length at least equal to the highest
144 * @param counters bitfield indicating which counter(s) in `values` to query
145 * @param values array of counters
150 ccnt_t *values);
/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dc_header.py156 ret = list(ret.values())
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h165 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t* values) argument
172 values[counter] = sel4bench_private_rdpmc(counter);
/seL4-refos-master/libs/libmuslc/dist/
H A Dconfig.mak5 # Target CPU architecture. Supported values: i386, x86_64
/seL4-refos-master/kernel/tools/hardware/
H A Ddevice.py112 ''' parse a single address from the array. will pop values from the array '''
141 for child in self.children.values():
147 for child in self.children.values():
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dsyscall_cp.s14 #r3,r4: return values, first args
24 #"a func cannot depend on that these regs have the values placed by the caller"
/seL4-refos-master/kernel/manual/tools/
H A Dgen_invocations.py34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
/seL4-refos-master/kernel/manual/parts/
H A Dapi.tex50 values ranging from \texttt{0} to \texttt{seL4\_NumHWBreakpoints - 1}.
76 mapping. Possible values for this type are given in \autoref{ch:vspace}. }
H A Dvspace.tex283 page being mapped; possible values for ARM that can be bitwise OR'd together are
284 shown in \autoref{tbl:vmattr_arm} \ifxeightsix and an enumeration of valid values
H A Dthreads.tex93 Thread priority (structure \texttt{seL4\_PrioProps\_t}) consists of two values as follows:
161 should have less refills, while longer running threads with long values of $b$ should have a higher
299 types, the contents of the reply message may be used to set the values in the
344 values to ensure that they cannot be maliciously set to values that would compromise the running system, or to respect
345 values that the architecture specifications have mandated to be certain values.
642 \texttt{cpsr} register set to values other than \texttt{user}. Specifically it may have any value other than
H A Dbootup.tex218 Keys and values can't have any whitespace in them and there can be no
220 Arguments are listed in \autoref{tab:bootargs} along with their default values (if left unspecified).
/seL4-refos-master/kernel/tools/
H A Dlex.py523 lexindexfunc = [None] * (max(lexre.groupindex.values())+1)
748 for f in self.funcsym.values():
757 for s in self.strsym.values():
H A Dbitfield_gen.py908 (* Equate the updated values *)
1253 """Deterministically iterate over the values of each dict in `dicts`."""
1254 def values(d): function in function:det_values
1256 return itertools.chain(*(values(d) for d in dicts))
2090 # are absolute (relative to the lsb); values are relative to
2104 self.class_offset = min(self.tag_offset.values())
2747 for u in union_list.values():
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py908 (* Equate the updated values *)
1253 """Deterministically iterate over the values of each dict in `dicts`."""
1254 def values(d): function in function:det_values
1256 return itertools.chain(*(values(d) for d in dicts))
2090 # are absolute (relative to the lsb); values are relative to
2104 self.class_offset = min(self.tag_offset.values())
2747 for u in union_list.values():
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py908 (* Equate the updated values *)
1253 """Deterministically iterate over the values of each dict in `dicts`."""
1254 def values(d): function in function:det_values
1256 return itertools.chain(*(values(d) for d in dicts))
2090 # are absolute (relative to the lsb); values are relative to
2104 self.class_offset = min(self.tag_offset.values())
2747 for u in union_list.values():
/seL4-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py908 (* Equate the updated values *)
1253 """Deterministically iterate over the values of each dict in `dicts`."""
1254 def values(d): function in function:det_values
1256 return itertools.chain(*(values(d) for d in dicts))
2090 # are absolute (relative to the lsb); values are relative to
2104 self.class_offset = min(self.tag_offset.values())
2747 for u in union_list.values():
/seL4-refos-master/projects/refos/design/
H A Dintro.tex134 \texttt{(val1, val2, val3 ...)} represents the set of return values, output variables and/or reply capabilities of the method invocation
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex744 Set options. A menu showing the current option values will be
745 displayed. You can change most values simply by selecting the menu
2040 values for the various options. Some can only be turned on or off.
2436 (It is currently implemented for tty only.) The possible values are:
2496 Possible values are ``{\tt cat}'', ``{\tt dog}'' and ``{\tt none}''.
2531 and ``{\tt random}'' values.
2538 The possible values are:
2679 Pass eight-bit character values (for example, specified with the {\it
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex744 Set options. A menu showing the current option values will be
745 displayed. You can change most values simply by selecting the menu
2040 values for the various options. Some can only be turned on or off.
2436 (It is currently implemented for tty only.) The possible values are:
2496 Possible values are ``{\tt cat}'', ``{\tt dog}'' and ``{\tt none}''.
2531 and ``{\tt random}'' values.
2538 The possible values are:
2679 Pass eight-bit character values (for example, specified with the {\it

Completed in 167 milliseconds

12