Searched refs:model (Results 1 – 5 of 5) sorted by relevance
| /kernel/trace/rv/ |
| D | Kconfig | 20 exhaustive verification techniques (such as model checking and
48 The model is borken on purpose: it serves to test reactors.
60 on the model's execution. By default, the monitors have
|
| /kernel/ |
| D | Kconfig.preempt | 22 This is the traditional Linux preemption model, geared towards
103 This option allows to define the preemption model on the kernel
105 model defined during compile time.
|
| /kernel/bpf/ |
| D | bpf_struct_ops.c | 337 const struct btf_func_model *model, in bpf_struct_ops_prepare_trampoline() argument
347 flags = model->ret_size > 0 ? BPF_TRAMP_F_RET_FENTRY_RET : 0; in bpf_struct_ops_prepare_trampoline()
349 model, flags, tlinks, NULL); in bpf_struct_ops_prepare_trampoline()
|
| D | trampoline.c | 471 &tr->func.model, tr->flags, tlinks, in bpf_trampoline_update()
816 memcpy(&tr->func.model, &tgt_info->fmodel, sizeof(tgt_info->fmodel)); in bpf_trampoline_get()
|
| /kernel/power/ |
| D | Kconfig | 351 The exact usage of the energy model is subsystem-dependent.
|