Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 3 n 7799829173234823168
PARAM_VALUE 4 flags 1
DATA_SOURCE 0 kvm $0
USER_DATA 1 uaddr 0-u64max
USER_DATA 2 ulen 0-u32max
LOCK2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 2 ulen 0-u32max
PARAM_VALUE 3 n 7218466733461655552
PARAM_VALUE 4 flags 1
DATA_SOURCE 0 kvm $0
USER_DATA 1 uaddr 0-u64max
USER_DATA 2 ulen 0-u32max
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_mem_enc_register_region() -> sev_pin_memory()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 3 n 4096-ptr_max
PARAM_VALUE 4 flags 256
DATA_SOURCE 0 kvm $0
UNITS 2 ulen unit_byte
LOCK2 _T->lock