Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_make_all_cpus_request() -> kvm_make_vcpu_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| PARAM_VALUE | 1 | req | 2,12,18,37,768-769,790-791,793,801,806-808,1792 |
| PARAM_VALUE | 2 | tmp | 0 |
| PARAM_VALUE | 3 | current_cpu | 0 |
| BUF_SIZE | 2 | tmp | 0 |
| DATA_SOURCE | 1 | req | $1 |
| HARD_MAX | 1 | req | 1792 |
| MEM_ZERO | 2 | tmp->bits | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | &kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_make_vcpus_request_mask() -> kvm_make_vcpu_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 1 | req | 791,808 |
| PARAM_VALUE | 2 | tmp | 0 |
| PARAM_VALUE | 3 | current_cpu | 0 |
| BUF_SIZE | 2 | tmp | 0 |
| DATA_SOURCE | 0 | vcpu | r kvm_get_vcpu |
| DATA_SOURCE | 1 | req | $1 |
| HARD_MAX | 1 | req | 808 |
| MEM_ZERO | 2 | tmp->bits | |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ioapic->lock |