/seL4-camkes-master/projects/musllibc/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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | meta.hpp | 27 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 D | camkes_lint.py | 67 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 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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/ast/tests/ |
H A D | testobjects.py | 46 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 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-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
H A D | fsm_wrapper_pp_inferred.c | 75 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 D | macros.py | 182 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 D | fdtQueryEngine.py | 168 "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 D | scope.py | 82 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 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-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | wordarraytest.c | 175 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 D | cogent-manual.tex | 269 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 D | Renderer.py | 45 for v in d.values():
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | c_header.py | 156 ret = list(ret.values())
|
/seL4-camkes-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-camkes-master/projects/musllibc/dist/ |
H A D | config.mak | 5 # Target CPU architecture. Supported values: i386, x86_64
|
/seL4-camkes-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-camkes-master/projects/musllibc/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-camkes-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-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | util.py | 258 return set(normalised_map().values())
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_tftp.tex | 61 \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...] |