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

12

/seL4-test-master/projects/musllibc/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-test-master/tools/nanopb/tests/oneof/
H A Dencode_oneof.c27 /* We encode one of the 'values' fields based on command line argument */
31 msg.values.first = 999;
36 strcpy(msg.values.second, "abcd");
41 msg.values.third.array_count = 5;
42 msg.values.third.array[0] = 1;
43 msg.values.third.array[1] = 2;
44 msg.values.third.array[2] = 3;
45 msg.values.third.array[3] = 4;
46 msg.values.third.array[4] = 5;
H A Ddecode_oneof.c34 TEST(msg.values.first == 999);
39 TEST(strcmp(msg.values.second, "abcd") == 0);
44 TEST(msg.values.third.array[0] == 1);
45 TEST(msg.values.third.array[1] == 2);
46 TEST(msg.values.third.array[2] == 3);
47 TEST(msg.values.third.array[3] == 4);
48 TEST(msg.values.third.array[4] == 5);
71 TEST(msg.values.first == 999);
76 TEST(strcmp(msg.values.second, "abcd") == 0);
81 TEST(msg.values
[all...]
/seL4-test-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-test-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-test-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-test-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-test-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-test-master/kernel/tools/hardware/outputs/
H A Dc_header.py156 ret = list(ret.values())
/seL4-test-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-test-master/projects/musllibc/dist/
H A Dconfig.mak5 # Target CPU architecture. Supported values: i386, x86_64
/seL4-test-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-test-master/projects/musllibc/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-test-master/kernel/manual/tools/
H A Dgen_invocations.py34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
/seL4-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py222 self.values = [(names + x.name, x.number) for x in desc.value]
224 self.values = [(base_name + x.name, x.number) for x in desc.value]
230 for n, v in self.values:
236 return max([varint_max_size(v) for n,v in self.values])
240 result += ',\n'.join([" %s = %d" % x for x in self.values])
249 sorted_values = sorted(self.values, key = lambda x: (x[1], x[0]))
258 for i, x in enumerate(self.values):
273 for ((enumname, _), strname) in zip(self.values, self.value_longnames):
405 self.enc_size = None # Needs to be filled in when enum values are known
1113 default values fo
[all...]
/seL4-test-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).
H A Dcspace.tex342 significant bits of the capability address. If the two values are
/seL4-test-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-test-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-test-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():

Completed in 638 milliseconds

12