Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/x86.c kvm_vcpu_ioctl_x86_set_mce() -> is_ucna()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mce | 663067712976576512 |
| CAPPED_DATA | 0 | mce->bank | 1 |
| DATA_SOURCE | 0 | mce | $1 |
| BIT_INFO | 0 | mce->status | 0x8000000000000000,0xffffffffffffffff |
| USER_DATA | 0 | mce->addr | 0-u64max |
| USER_DATA | 0 | mce->mcg_status | 0-u64max |
| USER_DATA | 0 | mce->misc | 0-u64max |
| USER_DATA | 0 | mce->status | 0-u64max |
| USER_PTR | 0 | mce->pad1 | |
| USER_PTR | 0 | mce->pad2 | |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |