Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c handle_vmwrite() -> is_shadow_field_ro()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 0-2063,2065,2067-3079,3081,3083-16383,16385,16387,16389-16405 |
| CAPPED_DATA | 0 | field | 1 |
| CAPPED_DATA | 0 | field | 1 |
| DATA_SOURCE | 0 | field | r kvm_register_read |
| NOSPEC | 0 | field | |
| USER_DATA | 0 | field | 0-2063,2065,2067-3079,3081,3083-16383,16385,16387,16389-16405[c |