| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/ |
| H A D | sysreg_exception.c | 24 .sysreg = { .params.op0 = 3, .params.op1 = 1, .params.op2 = 0, .params.crn = 15, .params.crm = 2 },
31 .sysreg = { .params.op0 = 2 },
49 (match_a.params.op0 == match_b.params.op0) &&
50 (match_a.params.op1 == match_b.params
[all...] |
| H A D | sysreg_exception.h | 44 } params; member in union:sysreg
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 70 static inline sched_params_t sched_params_periodic(sched_params_t params, simple_t *simple, seL4_Word core, argument
75 ZF_LOGW("Setting sched params on non-RT kernel will have no effect");
77 params.sched_ctrl = simple_get_sched_ctrl(simple, core);
78 params.period = period_us;
79 params.budget = budget_us;
80 params.extra_refills = extra_refills;
81 params.badge = badge;
82 params.create_sc = true;
83 return params;
86 static inline sched_params_t sched_params_round_robin(sched_params_t params, simple_ argument
92 sched_params_core(sched_params_t params, seL4_Word core) argument
[all...] |
| H A D | thread.h | 219 * If CONFIG_KERNEL_MCS is set, the sched params must be fully populated or the scheduling
223 int sel4utils_set_sched_affinity(sel4utils_thread_t *thread, sched_params_t params);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | chardev.c | 50 ps_cdev_static_init(const ps_io_ops_t *o, ps_chardevice_t* d, void *params) argument
53 if (params == NULL) {
57 void* vaddr = params;
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1198 def emit_named(name, params, string):
1200 # params.names
1202 if(name in params.names):
1203 print(string, file=params.output)
1204 print(file=params.output)
1209 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1220 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1231 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2655 params = {} variable
[all...] |
| H A D | syscall_stub_gen.py | 423 params = []
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
431 params.append(param.type.pointer().render_parameter_name(param.name))
433 return ", ".join(params)
436 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
491 positions = get_parameter_positions(params, wordsize)
502 def generate_unmarshal_expressions(params, wordsize):
538 positions = get_parameter_positions(params, wordsize)
|
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 1198 def emit_named(name, params, string):
1200 # params.names
1202 if(name in params.names):
1203 print(string, file=params.output)
1204 print(file=params.output)
1209 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1220 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1231 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2655 params = {} variable
[all...] |
| H A D | syscall_stub_gen.py | 423 params = []
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
431 params.append(param.type.pointer().render_parameter_name(param.name))
433 return ", ".join(params)
436 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
491 positions = get_parameter_positions(params, wordsize)
502 def generate_unmarshal_expressions(params, wordsize):
538 positions = get_parameter_positions(params, wordsize)
|
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 1198 def emit_named(name, params, string):
1200 # params.names
1202 if(name in params.names):
1203 print(string, file=params.output)
1204 print(file=params.output)
1209 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1220 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1231 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2655 params = {} variable
[all...] |
| /seL4-test-master/kernel/manual/tools/ |
| H A D | parse_doxygen_xml.py | 141 params = {}
154 params[str(n.text)] = {"type": param_type}
165 params[param_name]["desc"] = param_desc
167 if len(params) == 0:
172 param_info = params[param_name]
239 def generate_api_doc(self, level, member, params, ret, details):
309 def generate_api_doc(self, level, member, params, ret, details):
318 {%(params)s}
327 "params": params,
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 390 int sel4utils_set_sched_affinity(sel4utils_thread_t *thread, sched_params_t params) { argument
393 return api_sched_ctrl_configure(params.sched_ctrl, thread->sched_context.cptr, params.budget, params.period,
394 params.extra_refills, params.badge);
397 return seL4_TCB_SetAffinity(thread->tcb.cptr, params.core);
|
| /seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 85 * @param params: a pointer generally used to pass machine or platform
90 void *params);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.c | 565 ps_chardevice_t *ps_cdev_static_init(const ps_io_ops_t *o, ps_chardevice_t *d, void *params) argument
568 if (params == NULL) {
572 static_serial_params_t *serial_params = (static_serial_params_t *) params;
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
| H A D | guest_boot_info.h | 266 struct edd_device_params params; member in struct:edd_info
|
| /seL4-test-master/tools/nanopb/generator/ |
| H A D | nanopb_generator.py | 1842 params = str(request.parameter)
1844 params = request.parameter
1847 args = shlex.split(params)
1852 lex = shlex.shlex(params)
|