Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c snp_complete_one_psc() -> kvm_is_valid_map_gpa_range_ret()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hypercall_ret | 0-s32max,18446744071562067968-u64max |
| LOCK2 | &vcpu->kvm->srcu | ||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/svm/sev.c snp_complete_psc_msr() -> kvm_is_valid_map_gpa_range_ret()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hypercall_ret | 0-s32max,18446744071562067968-u64max |
| LOCK2 | &vcpu->kvm->srcu | ||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/tdx.c tdx_complete_vmcall_map_gpa() -> kvm_is_valid_map_gpa_range_ret()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hypercall_ret | 1-10,12-21,23-s32max,18446744071562067968-u64max |
| LOCK2 | &vcpu->kvm->srcu | ||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |