Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c __unregister_enc_region_locked() -> sev_unpin_memory()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
DATA_SOURCE 0 kvm $0
NOCHECK_CALL
HALF_LOCKED2 _T->lock

arch/x86/kvm/svm/sev.c sev_launch_secret() -> sev_unpin_memory()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 pages 4096-ptr_max
PARAM_VALUE 2 npages 1-s32max
BUF_SIZE 1 pages 8-s32max
BUF_SIZE 1 pages 8-s32max
CAPPED_DATA 2 npages 1
CAPPED_DATA 2 npages 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 pages r sev_pin_memory
NOSPEC 2 npages
NOSPEC 2 npages
NOCHECK_CALL
USER_DATA 2 npages 1-s32max[c]
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_launch_update_data() -> sev_unpin_memory()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 pages 4096-ptr_max
PARAM_VALUE 2 npages 1-s32max
BUF_SIZE 1 pages 8-s32max
BUF_SIZE 1 pages 8-s32max
CAPPED_DATA 2 npages 1
CAPPED_DATA 2 npages 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 pages r sev_pin_memory
NOCHECK_CALL
USER_DATA 2 npages 1-s32max[c]
LOCK2 _T->lock