Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 idx 0
PARAM_VALUE 1 inpages 16,4096-ptr_max
PARAM_VALUE 2 npages 1-s32max
BUF_SIZE 1 inpages 8-s32max
BUF_SIZE 1 inpages 8-s32max
DATA_SOURCE 1 inpages r sev_pin_memory
USER_DATA 2 npages 1-s32max[c]
LOCK2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 1 inpages 16,4096-ptr_max
PARAM_VALUE 2 npages 1-s32max
BUF_SIZE 1 inpages 8-s32max
BUF_SIZE 1 inpages 8-s32max
DATA_SOURCE 1 inpages r sev_pin_memory
PARAM_COMPARE 0 idx <= $2
PARAM_COMPARE 0 idx <= $2
PARAM_COMPARE 2 npages >= $0
USER_DATA 2 npages 1-s32max[c]
LOCK2 _T->lock