Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/cpuid.c kvm_update_cpuid_runtime() -> cpuid_entry_has()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | x86_feature | 323 |
| CAPPED_DATA | 0 | entry->function | 1 |
| DATA_SOURCE | 0 | entry | r kvm_find_cpuid_entry_index |
| USER_DATA | 0 | entry->eax | 0-u32max |
| USER_DATA | 0 | entry->ebx | 0-u32max |
| USER_DATA | 0 | entry->ecx | 0-u32max |
| USER_DATA | 0 | entry->edx | 0-u32max |
| USER_DATA | 0 | entry->flags | 0-u32max |
| USER_DATA | 0 | entry->function | 0-u32max |
| USER_DATA | 0 | entry->index | 0-u32max |
| USER_DATA | 0 | *entry->padding | 0-u32max |
| USER_PTR | 0 | entry | |
| USER_PTR | 0 | entry->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_update_cpuid_runtime() -> cpuid_entry_has()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | x86_feature | 321 |
| CAPPED_DATA | 0 | entry->function | 1 |
| DATA_SOURCE | 0 | entry | r kvm_find_cpuid_entry_index |
| USER_DATA | 0 | entry->eax | 0-u32max |
| USER_DATA | 0 | entry->ebx | 0-u32max |
| USER_DATA | 0 | entry->ecx | 0-u32max |
| USER_DATA | 0 | entry->edx | 0-u32max |
| USER_DATA | 0 | entry->flags | 0-u32max |
| USER_DATA | 0 | entry->function | 0-u32max |
| USER_DATA | 0 | entry->index | 0-u32max |
| USER_DATA | 0 | *entry->padding | 0-u32max |
| USER_PTR | 0 | entry | |
| USER_PTR | 0 | entry->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> cpuid_entry_has()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | x86_feature | 152 |
| CAPPED_DATA | 0 | entry->function | 1 |
| DATA_SOURCE | 0 | entry | r kvm_find_cpuid_entry |
| USER_DATA | 0 | entry->eax | 0-u32max |
| USER_DATA | 0 | entry->ebx | 0-u32max |
| USER_DATA | 0 | entry->ecx | 0-u32max |
| USER_DATA | 0 | entry->edx | 0-u32max |
| USER_DATA | 0 | entry->flags | 0-u32max |
| USER_DATA | 0 | entry->function | 0-u32max |
| USER_DATA | 0 | entry->index | 0-u32max |
| USER_DATA | 0 | *entry->padding | 0-u32max |
| USER_PTR | 0 | entry | |
| USER_PTR | 0 | entry->padding | |
| HALF_LOCKED2 | &vcpu->mutex |