Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/crypto/mpi/mpi-bit.c mpi_get_nbits() -> mpi_normalize()

Type Parameter Key Value
DATA_SOURCE 0 a $0
NOCHECK_CALL
LOCK2 &key->sem
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct key)->sem

lib/crypto/mpi/mpi-cmp.c mpi_cmp() -> mpi_normalize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
BUF_SIZE 0 a (-1),32
BUF_SIZE 0 a (-1),32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 a->alloced 2-256[c]
USER_DATA 0 a->nbits 0-16408

lib/crypto/mpi/mpi-cmp.c mpi_cmp() -> mpi_normalize()

Type Parameter Key Value
PARAM_VALUE 0 a 1-u64max
BUF_SIZE 0 a (-1),32
BUF_SIZE 0 a (-1),32
DATA_SOURCE 0 a $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/mpi/mpi-cmp.c mpi_cmp_ui() -> mpi_normalize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
BUF_SIZE 0 a (-1),32
BUF_SIZE 0 a (-1),32
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 a->alloced 2-256[c]
USER_DATA 0 a->nbits 0-16408
USER_DATA 0 a->nlimbs 2-256[c]

lib/crypto/mpi/mpi-sub-ui.c mpi_sub_ui() -> mpi_normalize()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->d 4096-ptr_max
BUF_SIZE 0 a 32
CAPPED_DATA 0 a->d 1
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL