| /tools/verification/models/sched/ |
| A D | sts.dot | 4 {node [shape = plaintext, style=invis, label=""] "__init_can_sched"};
5 {node [shape = doublecircle] "can_sched"};
6 {node [shape = circle] "can_sched"};
7 {node [shape = circle] "cant_sched"};
8 {node [shape = circle] "disable_to_switch"};
9 {node [shape = circle] "enable_to_exit"};
10 {node [shape = circle] "in_irq"};
11 {node [shape = circle] "scheduling"};
12 {node [shape = circle] "switching"};
|
| A D | opid.dot | 4 {node [shape = plaintext, style=invis, label=""] "__init_disabled"};
5 {node [shape = circle] "disabled"};
6 {node [shape = doublecircle] "enabled"};
7 {node [shape = circle] "enabled"};
8 {node [shape = circle] "in_irq"};
9 {node [shape = circle] "irq_disabled"};
10 {node [shape = circle] "preempt_disabled"};
|
| A D | nrp.dot | 4 {node [shape = doublecircle] "any_thread_running"};
5 {node [shape = circle] "any_thread_running"};
6 {node [shape = circle] "nested_preempt"};
7 {node [shape = plaintext, style=invis, label=""] "__init_preempt_irq"};
8 {node [shape = circle] "preempt_irq"};
9 {node [shape = circle] "rescheduling"};
|
| A D | sssw.dot | 4 {node [shape = plaintext, style=invis, label=""] "__init_runnable"};
5 {node [shape = doublecircle] "runnable"};
6 {node [shape = circle] "runnable"};
7 {node [shape = circle] "signal_wakeup"};
8 {node [shape = circle] "sleepable"};
9 {node [shape = circle] "sleeping"};
|
| A D | sco.dot | 4 {node [shape = plaintext] "scheduling_context"};
5 {node [shape = plaintext, style=invis, label=""] "__init_thread_context"};
6 {node [shape = ellipse] "thread_context"};
7 {node [shape = plaintext] "thread_context"};
|
| A D | scpd.dot | 4 {node [shape = plaintext] "can_sched"};
5 {node [shape = plaintext, style=invis, label=""] "__init_cant_sched"};
6 {node [shape = ellipse] "cant_sched"};
7 {node [shape = plaintext] "cant_sched"};
|
| A D | snep.dot | 4 {node [shape = plaintext, style=invis, label=""] "__init_non_scheduling_context"};
5 {node [shape = ellipse] "non_scheduling_context"};
6 {node [shape = plaintext] "non_scheduling_context"};
7 {node [shape = plaintext] "scheduling_contex"};
|
| A D | snroc.dot | 4 {node [shape = plaintext, style=invis, label=""] "__init_other_context"};
5 {node [shape = ellipse] "other_context"};
6 {node [shape = plaintext] "other_context"};
7 {node [shape = plaintext] "own_context"};
|
| /tools/verification/models/ |
| A D | wip.dot | 2 {node [shape = circle] "non_preemptive"};
3 {node [shape = plaintext, style=invis, label=""] "__init_preemptive"};
4 {node [shape = doublecircle] "preemptive"};
5 {node [shape = circle] "preemptive"};
|
| A D | wwnr.dot | 2 {node [shape = plaintext, style=invis, label=""] "__init_not_running"};
3 {node [shape = ellipse] "not_running"};
4 {node [shape = plaintext] "not_running"};
5 {node [shape = plaintext] "running"};
|
| /tools/testing/selftests/kvm/ |
| A D | pre_fault_memory_test.c | 68 const struct vm_shape shape = { in __test_pre_fault_memory() local
81 vm = vm_create_shape_with_one_vcpu(shape, &vcpu, guest_code); in __test_pre_fault_memory()
|
| /tools/testing/selftests/kvm/include/ |
| A D | kvm_util.h | 201 struct vm_shape shape = { \
206 shape; \
988 struct kvm_vm *____vm_create(struct vm_shape shape);
989 struct kvm_vm *__vm_create(struct vm_shape shape, uint32_t nr_runnable_vcpus,
999 const struct vm_shape shape = { in vm_create_barebones_type() local
1004 return ____vm_create(shape); in vm_create_barebones_type()
1012 struct kvm_vm *__vm_create_with_vcpus(struct vm_shape shape, uint32_t nr_vcpus,
1025 struct kvm_vm *__vm_create_shape_with_one_vcpu(struct vm_shape shape,
1048 static inline struct kvm_vm *vm_create_shape_with_one_vcpu(struct vm_shape shape, in vm_create_shape_with_one_vcpu() argument
1052 return __vm_create_shape_with_one_vcpu(shape, vcpu, 0, guest_code); in vm_create_shape_with_one_vcpu()
|
| /tools/testing/selftests/kvm/lib/ |
| A D | kvm_util.c | 291 struct kvm_vm *____vm_create(struct vm_shape shape) in ____vm_create() argument
303 vm->mode = shape.mode; in ____vm_create()
304 vm->type = shape.type; in ____vm_create()
465 static bool is_guest_memfd_required(struct vm_shape shape) in is_guest_memfd_required() argument
468 return shape.type == KVM_X86_SNP_VM; in is_guest_memfd_required()
477 uint64_t nr_pages = vm_nr_pages_required(shape.mode, nr_runnable_vcpus, in __vm_create()
486 vm_guest_mode_string(shape.mode), shape.type, nr_pages); in __vm_create()
488 vm = ____vm_create(shape); in __vm_create()
495 if (is_guest_memfd_required(shape)) in __vm_create()
553 vm = __vm_create(shape, nr_vcpus, extra_mem_pages); in __vm_create_with_vcpus()
[all …]
|
| /tools/bpf/bpftool/ |
| A D | cfg.c | 388 const char *shape; in draw_bb_node() local
391 shape = "Mdiamond"; in draw_bb_node()
393 shape = "record"; in draw_bb_node()
396 func->idx, bb->idx, shape); in draw_bb_node()
|
| /tools/testing/selftests/kvm/lib/x86/ |
| A D | sev.c | 164 struct vm_shape shape = { in vm_sev_create_with_one_vcpu() local
171 vm = __vm_create_with_vcpus(shape, 1, 0, guest_code, cpus); in vm_sev_create_with_one_vcpu()
|
| /tools/testing/selftests/kvm/x86/ |
| A D | private_mem_conversions_test.c | 385 const struct vm_shape shape = { in test_mem_conversions() local
393 vm = __vm_create_with_vcpus(shape, nr_vcpus, 0, guest_code, vcpus); in test_mem_conversions()
|