Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/x86.c emulator_cmpxchg_emulated() -> kvm_page_track_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.gva_to_gpa | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_bugged | 1 |
| PARAM_VALUE | 0 | vcpu->last_used_slot->base_gfn | 0-18446744073709551614 |
| PARAM_VALUE | 1 | gpa | 0-18446744073709551614 |
| PARAM_VALUE | 2 | new | 4096-ptr_max |
| PARAM_VALUE | 3 | bytes | 1-2,4,8 |
| BUF_SIZE | 2 | new | 8 |
| CAPPED_DATA | 0 | vcpu->kvm | 1 |
| DATA_SOURCE | 1 | gpa | r kvm_mmu_gva_to_gpa_write |
| DATA_SOURCE | 2 | new | $3 |
| DATA_SOURCE | 3 | bytes | $4 |
| NOCHECK_CALL |
arch/x86/kvm/x86.c emulator_write_guest() -> kvm_page_track_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mmio_gva | 4096-u64max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| BUF_SIZE | 0 | vcpu | 1-s32max |
| BUF_SIZE | 0 | vcpu | 1-s32max |
| BUF_SIZE | 2 | new | (-1),3,8 |
| CAPPED_DATA | 0 | vcpu->arch.mmio_gva | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | gpa | $1 |
| DATA_SOURCE | 2 | new | $2 |
| DATA_SOURCE | 3 | bytes | $3 |
| NOCHECK_CALL | |||
| USER_DATA | 2 | *new | 0-255 |
| USER_PTR | 2 | new |