Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_asid_free() -> put_misc_cg()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 _T->lock

arch/x86/kvm/svm/sev.c sev_asid_new() -> put_misc_cg()

Type Parameter Key Value
PARAM_VALUE 0 cg 4096-ptr_max
DATA_SOURCE 0 cg r get_current_misc_cg
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_vm_move_enc_context_from() -> put_misc_cg()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &kvm->lock
LOCK2 &source_kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/vmx/tdx.c tdx_hkid_free() -> put_misc_cg()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 global &tdx_lock