Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/mpi/mpicoder.c mpi_get_buffer() -> mpi_read_buffer()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_len 1-4000000
PARAM_VALUE 3 nbytes 9112962578233507840
PARAM_VALUE 4 sign 0
BUF_SIZE 0 a 32
BUF_SIZE 1 buf 1-u32max
BUF_SIZE 1 buf 1-u32max
DATA_SOURCE 0 a $0
DATA_SOURCE 1 buf r _kmalloc_noprof
DATA_SOURCE 3 nbytes $1
DATA_SOURCE 4 sign $2
FUZZY_MAX 2 buf_len 1
BYTE_COUNT 1 ==buf2 8050
LOCK2 &key->sem
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct key)->sem