Open Menu /

Defined in 1 files as a function:

No references found in the database

Smatch caller information:

arch/x86/kvm/vmx/tdx.c td_vmcs_setbit32() -> tdvps_vmcs_check()

Type Parameter Key Value
PARAM_VALUE 0 field 16384
PARAM_VALUE 1 bits 32
DATA_SOURCE 0 field $1
NOCHECK_CALL
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/vmx/tdx.c td_vmcs_write16() -> tdvps_vmcs_check()

Type Parameter Key Value
PARAM_VALUE 0 field 2
PARAM_VALUE 1 bits 16
DATA_SOURCE 0 field $1
NOCHECK_CALL
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/vmx/tdx.c td_vmcs_write64() -> tdvps_vmcs_check()

Type Parameter Key Value
PARAM_VALUE 0 field 8214,8252
PARAM_VALUE 1 bits 64
DATA_SOURCE 0 field $1
HARD_MAX 0 field 8252
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock