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

12

/seL4-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dmeta.hpp27 template<bool...values> struct all_of_imp
28 : std::is_same<bool_pack<values..., true>, bool_pack<true, values...>>{};
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_lint.py67 isinstance(test.values[0], ast.Compare) and \
68 isinstance(test.values[0].left, ast.Name) and \
69 len(test.values[0].ops) == 1 and \
70 isinstance(test.values[0].ops[0], ast.Is) and \
71 len(test.values[0].comparators) == 1 and \
72 isinstance(test.values[0].comparators[0], ast.Name):
74 if test.values[0].left.id not in args:
77 (options.filename.name, test.values[0].left.lineno,
78 test.values[0].left.id))
81 if test.values[
[all...]
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/ast/tests/
H A Dtestobjects.py46 for c in globals().values():
70 for c in globals().values():
/seL4-camkes-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-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/
H A Dfsm_wrapper_pp_inferred.c75 u32 *values; member in struct:WordArray_u32
85 u8 *values; member in struct:WordArray_u8
160 t12 **values; member in struct:Array_t12
192 t15 *values; member in struct:WordArray_ut15
585 array->values = kzalloc(size * sizeof(*array->values));
586 if (array->values == NULL) {
610 array->values = kzalloc(size * sizeof(*array->values));
611 if (array->values
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py182 def print_type_definitions(attributes, values):
192 def recurse_structs(attribute, values):
197 structs.extend(recurse_structs(sub_attribute, values.get(sub_attribute.name)))
200 values = values[0] if values else None
201 structs.append((struct, values))
208 structs.extend(recurse_structs(attribute, values.get(attribute.name)))
222 An attribute can also be a camkes structure which is a dictionary of attributes (keys) with corresponding values
228 values
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A DfdtQueryEngine.py168 "values matched against it must also be "
198 "values matched against it must also be "
292 the the node matches all the attrs and values, returns true.
298 (ALL values in "attr_dict" match their homologues in "node").
431 # of property-name: values. If there is more than one
434 # properties are a tuple of (key, values)
437 values = p[1]
438 if type(values) is pyfdt.pyfdt.FdtProperty:
441 resolved[key] = list(values)
446 values
[all...]
H A Dscope.py82 The values returned can be filtered by type using the optional `type`
94 for candidate in scope[head].values():
/seL4-camkes-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-camkes-master/tools/cogent/c-refinement/tests/
H A Dwordarraytest.c175 u8* values; member in struct:WordArray_u8
185 u32* values; member in struct:WordArray_u32
868 array->values = calloc(size, sizeof(*array->values));
869 if (array->values == NULL) {
886 if (array->values) {
887 free(array->values);
938 return args.p1->values[args.p2];
948 args.arr->values[args.idx] = args.val;
966 if (a->values[
[all...]
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex269 In most typed programming languages a type only determines a set of values and the operations which
270 can be applied to these values. As a main feature of \cogent, types are extended to also represent
271 the way how values can be used in a program.
317 Additionally, there is a type for boolean values and an auxiliary string type.
341 The usual bitstring operations can be applied to values of the bitstring types, such as bitwise boolean
342 operations and shifting. Alternatively, bitstring values can be interpreted as unsigned binary represented
344 first value that is no more included in the corresponding type. E.g., numerical operations for values of
351 The other primitive types are \code{Bool} and \code{String}. Type \code{Bool} has the two values \code{True}
363 A tuple type represents mathematical tuples, i.e., values with a fixed number of fields specified in a certain order. Every field may have a different type.
439 Depending on the tag, every value may have a ``payload'' which is a sequence of values, a
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DRenderer.py45 for v in d.values():
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Dc_header.py156 ret = list(ret.values())
/seL4-camkes-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-camkes-master/projects/musllibc/dist/
H A Dconfig.mak5 # Target CPU architecture. Supported values: i386, x86_64
/seL4-camkes-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-camkes-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-camkes-master/kernel/manual/tools/
H A Dgen_invocations.py34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A Dutil.py258 return set(normalised_map().values())
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_tftp.tex61 \item \texttt{family} - The chosen socket family. Accepted values are \texttt{PICO$\_$PROTO$\_$IPV4} for IPv4 and \texttt{PICO$\_$PROTO$\_$IPV6} for IPv6.
114 \item \texttt{error$\_$code} - Error reason, possible values are:
200 \item \texttt{family} - The chosen socket family. Accepted values are \texttt{PICO$\_$PROTO$\_$IPV4} for IPv4 and \texttt{PICO$\_$PROTO$\_$IPV6} for IPv6.
239 \item \texttt{type} - Option to set; accepted values are PICO$\_$TFTP$\_$OPTION$\_$FILE for Transfer size Option or PICO$\_$TFTP$\_$OPTION$\_$TIME for Timeout interval Option.
263 This function is used to retrieve the values of Extended Options that has been set to a session according to RFC 2347 and RFC 2349.
276 \item \texttt{type} - Option to query; accepted values are PICO$\_$TFTP$\_$OPTION$\_$FILE for Transfer size Option or PICO$\_$TFTP$\_$OPTION$\_$TIME for Timeout interval Option.
388 The possible values for the \texttt{event} variable in callback are:
499 The possible values for the \texttt{event} variable in callback are:
585 \item \texttt{error} - Error reason code, possible values are:
678 \item \texttt{family} - The chosen socket family. Accepted values ar
[all...]

Completed in 289 milliseconds

12