Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/vmx/main.c vt_has_emulated_msr() -> tdx_has_emulated_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | index | $1 |
arch/x86/kvm/vmx/tdx.c tdx_get_msr() -> tdx_has_emulated_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | index | 0-57,59-1231,1233-u32max |
arch/x86/kvm/vmx/tdx.c tdx_set_msr() -> tdx_has_emulated_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | index | 0-26,28-57,59-1231,1233-3221225599,3221225601-u32max |