Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_dbg_crypt() -> sev_dbg_encrypt_slow()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 3 dst_p 0-ptr_max
PARAM_VALUE 4 len 1-4096
PARAM_VALUE 5 err 5076619483019313168
CAPPED_DATA 1 src 1
CAPPED_DATA 1 src 1
CAPPED_DATA 2 dst 1
CAPPED_DATA 2 dst 1
CAPPED_DATA 4 len 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 3 dst_p r sev_pin_page
USER_DATA 1 src 2-2147487743[c]
USER_DATA 2 dst 2-2147487743[c]
USER_DATA 4 len 1-4096[c]
USER_DATA 5 *err s32min-s32max
USER_PTR 5 err
LOCK2 _T->lock