Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/virt/hw.c __x86_vmx_init() -> vmx_basic_vmcs_size()

Type Parameter Key Value
CAPPED_DATA 0 vmx_basic 1
CAPPED_DATA 0 vmx_basic 1
DATA_SOURCE 0 vmx_basic r paravirt_read_msr
HOST_DATA 0 vmx_basic 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 0 vmx_basic 0,42801788946317008
CAPPED_DATA 0 vmx_basic 1
CAPPED_DATA 0 vmx_basic 1
UNITS 0 vmx_basic unit_byte

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

Type Parameter Key Value
DATA_SOURCE 0 vmx_basic $1
BIT_INFO 0 vmx_basic 0x0,0xfffeffffffffffff
BIT_INFO 0 vmx_basic 0x0,0xfffeffffffffffff
UNITS 0 vmx_basic unit_byte

arch/x86/kvm/vmx/vmx.c alloc_vmcs_cpu() -> vmx_basic_vmcs_size()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c setup_vmcs_config() -> vmx_basic_vmcs_size()

Type Parameter Key Value
CAPPED_DATA 0 vmx_basic 1
CAPPED_DATA 0 vmx_basic 1
DATA_SOURCE 0 vmx_basic r paravirt_read_msr
HOST_DATA 0 vmx_basic 0-u64max