Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/vmcs12.c nested_vmx_setup_vmcs12_fields() -> cpu_has_vmcs12_field()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-3272 |
| FUZZY_MAX | 0 | idx | 3272 |
| HARD_MAX | 0 | idx | 3272 |
| UNITS | 0 | idx | unit_array_size |
| LOCK2 | _T->lock |