Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/vmx.c add_atomic_switch_msr() -> vmx_add_auto_msr()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 3 vmcs_count_field 16404
DATA_SOURCE 1 msr $1
DATA_SOURCE 2 value $2
NOCHECK_CALL
UNITS 4 kvm unit_byte

arch/x86/kvm/vmx/vmx.c add_atomic_switch_msr() -> vmx_add_auto_msr()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 3 vmcs_count_field 16400
DATA_SOURCE 1 msr $1
DATA_SOURCE 2 value $3
NOCHECK_CALL
UNITS 4 kvm unit_byte

arch/x86/kvm/vmx/vmx.c vmx_add_autostore_msr() -> vmx_add_auto_msr()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 msr 911
PARAM_VALUE 2 value 0
PARAM_VALUE 3 vmcs_count_field 16398
DATA_SOURCE 1 msr $1
NOCHECK_CALL
UNITS 4 kvm unit_byte