Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_hardware_setup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 0
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_hardware_setup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 1
PARAM_VALUE 1 capacity u32max
HOST_DATA 1 capacity u32max
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_hardware_unsetup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 0
PARAM_VALUE 1 capacity 0
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_hardware_unsetup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 1
PARAM_VALUE 1 capacity 0
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/tdx.c __tdx_hardware_setup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 1 capacity 0-u32max
LOCK2 _T->lock

arch/x86/kvm/vmx/tdx.c tdx_hardware_unsetup() -> misc_cg_set_capacity()

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 1 capacity 0
NOCHECK_CALL