Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c page_address_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 4096 |
| BUF_SIZE | 0 | vcpu | 7720 |
| CAPPED_DATA | 0 | vcpu->kvm->online_vcpus.counter | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| UNITS | 1 | gpa | unit_byte |
| LOCK2 | _T->lock |
arch/x86/kvm/vmx/nested.c nested_vmx_check_apicv_controls() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 64 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
arch/x86/kvm/vmx/nested.c nested_vmx_check_msr_switch() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 16 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $2 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
arch/x86/kvm/vmx/nested.c page_address_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 4096 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| USER_DATA | 1 | gpa | 0-u64max |
| UNITS | 1 | gpa | unit_byte |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions | |
| USER_PTR | 0 | vcpu->arch.pdptrs |
arch/x86/kvm/x86.c page_address_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | alignment | 4096 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
arch/x86/kvm/svm/svm.c page_address_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 4096 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| UNITS | 1 | gpa | unit_byte |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/vmx/vmx.c pt_output_base_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | alignment | 128 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
arch/x86/kvm/svm/nested.c page_address_valid() -> kvm_vcpu_is_legal_aligned_gpa()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 2 | alignment | 4096 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |