Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c vmx_restore_control_msr() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 2 mask u32max
DATA_SOURCE 0 superset $2
DATA_SOURCE 1 subset r vmx_control_msr
UNITS 0 superset unit_byte

arch/x86/kvm/vmx/nested.c vmx_restore_control_msr() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 2 mask 18446744069414584320
CAPPED_DATA 1 subset 1
CAPPED_DATA 1 subset 1
DATA_SOURCE 0 superset r vmx_control_msr
DATA_SOURCE 1 subset $2
UNITS 1 subset unit_byte

arch/x86/kvm/vmx/nested.c vmx_restore_fixed0_msr() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 2 mask u64max
DATA_SOURCE 0 superset $2
UNITS 0 superset unit_byte

arch/x86/kvm/vmx/nested.c vmx_restore_vmx_basic() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 0 superset 0,42801788946317008
PARAM_VALUE 2 mask 18429538917905596416
DATA_SOURCE 1 subset $1
UNITS 0 superset unit_byte
UNITS 1 subset unit_byte

arch/x86/kvm/vmx/nested.c vmx_restore_vmx_ept_vpid_cap() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 2 mask u64max
DATA_SOURCE 0 superset r vmx_control_msr
DATA_SOURCE 1 subset $1
UNITS 1 subset unit_byte

arch/x86/kvm/vmx/nested.c vmx_restore_vmx_misc() -> is_bitwise_subset()

Type Parameter Key Value
PARAM_VALUE 2 mask 4026597344
DATA_SOURCE 0 superset r vmx_control_msr
DATA_SOURCE 1 subset $1
UNITS 1 subset unit_byte