Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/tdx.c tdx_mmu_release_hkid() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock

arch/x86/kvm/vmx/tdx.c tdx_reclaim_td_control_pages() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock

arch/x86/kvm/vmx/tdx.c tdx_sept_free_private_spt() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max

arch/x86/kvm/vmx/tdx.c tdx_sept_remove_leaf_spte() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max

arch/x86/kvm/vmx/tdx.c tdx_td_finalize() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/vmx/tdx.c tdx_vcpu_free() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx

arch/x86/kvm/vmx/tdx.c tdx_vcpu_ioctl() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/vmx/tdx.c tdx_vcpu_load() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max

arch/x86/kvm/vmx/tdx.c tdx_vcpu_unlocked_ioctl() -> is_hkid_assigned()

Type Parameter Key Value
PARAM_VALUE 0 kvm_tdx 4096-ptr_max
DATA_SOURCE 0 kvm_tdx r to_kvm_tdx
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock