Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/mmu/tdp_mmu.c tdp_mmu_get_root_for_fault() -> kvm_is_addr_direct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| USER_DATA | 1 | gpa | 0-u64max[c] |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gpa | unit_byte |
| HALF_LOCKED2 | &file->f_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &kvm->mmu_lock | |
| HALF_LOCKED2 | 0 | &kvm->srcu |
arch/x86/kvm/vmx/tdx.c vt_is_tdx_private_gpa() -> kvm_is_addr_direct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| USER_DATA | 1 | gpa | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | gpa | |
| UNITS | 0 | kvm | unit_byte |
| UNITS | 1 | gpa | unit_byte |
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock |
arch/x86/kvm/vmx/vmx.c vt_is_tdx_private_gpa() -> kvm_is_addr_direct()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| UNITS | 0 | kvm | unit_byte |