/seL4-refos-master/libs/libmuslc/src/conf/ |
H A D | fpathconf.c | 7 static const short values[] = { local 30 if (name >= sizeof(values)/sizeof(values[0])) { 34 return values[name];
|
H A D | sysconf.c | 26 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 D | sel4bench.h | 124 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 D | sel4bench.h | 128 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 D | sel4bench.h | 120 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 D | sel4bench.h | 127 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 D | sel4bench.h | 139 * `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 D | c_header.py | 156 ret = list(ret.values())
|
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | sel4bench.h | 165 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 D | config.mak | 5 # Target CPU architecture. Supported values: i386, x86_64
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | device.py | 112 ''' 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 D | syscall_cp.s | 14 #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 D | gen_invocations.py | 34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | api.tex | 50 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 D | vspace.tex | 283 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 D | threads.tex | 93 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 D | bootup.tex | 218 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 D | lex.py | 523 lexindexfunc = [None] * (max(lexre.groupindex.values())+1) 748 for f in self.funcsym.values(): 757 for s in self.strsym.values():
|
H A D | bitfield_gen.py | 908 (* 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 D | bitfield_gen.py | 908 (* 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 D | bitfield_gen.py | 908 (* 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 D | bitfield_gen.py | 908 (* 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 D | intro.tex | 134 \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 D | Guidebook.tex | 744 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 D | Guidebook.tex | 744 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
|