Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/kvm/emulate.c, line 3862
- arch/x86/kvm/regs.c
- arch/x86/kvm/svm/nested.c, line 449
- arch/x86/kvm/vmx/nested.c, line 3340
Smatch caller information:
arch/x86/kvm/regs.c kvm_set_dr() -> kvm_dr7_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | data | $2 |
| USER_DATA | 0 | data | 0-u64max[c] |
arch/x86/kvm/regs.c kvm_vcpu_ioctl_x86_set_debugregs() -> kvm_dr7_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | data | 0-u64max |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_check_guest_state() -> kvm_dr7_valid()
| Type | Parameter | Key | Value |
|---|
arch/x86/kvm/svm/nested.c nested_vmcb_check_save() -> kvm_dr7_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | data | 0-u64max |
arch/x86/kvm/emulate.c check_dr_write() -> kvm_dr7_valid()
| Type | Parameter | Key | Value |
|---|