Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/regs.c kvm_set_dr() -> kvm_dr6_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_dr6_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | data | 0-u64max |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/svm/nested.c nested_vmcb_check_save() -> kvm_dr6_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | data | 0-u64max |
arch/x86/kvm/emulate.c check_dr_write() -> kvm_dr6_valid()
| Type | Parameter | Key | Value |
|---|