Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx $0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __vmx_set_segment() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c enter_lmode() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmx_segment_cache_clear()

Type Parameter Key Value
PARAM_VALUE 0 vmx 4096-ptr_max
DATA_SOURCE 0 vmx r to_vmx
NOCHECK_CALL