Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/iov_iter.c copy_folio_from_iter_atomic() -> page_copy_sane()

Type Parameter Key Value
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 n $2
NOSPEC 1 offset
NOSPEC 2 n
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-u64max[c]
USER_DATA 2 n 0-u64max[c]
UNITS 1 offset unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &vi->i_rwsem

lib/iov_iter.c copy_page_from_iter() -> page_copy_sane()

Type Parameter Key Value
DATA_SOURCE 0 page $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 n $2
NOSPEC 2 n
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-4294971390[c]
USER_DATA 2 n 0-2147483646,18446744071562067968-u64max[c]
UNITS 0 page unit_page
UNITS 1 offset unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pipe->mutex
HALF_LOCKED2 &sdev->lock
HALF_LOCKED2 &server->_srv_mutex
HALF_LOCKED2 &vq->mutex

lib/iov_iter.c copy_page_to_iter() -> page_copy_sane()

Type Parameter Key Value
BUF_SIZE 0 page (-1),64
BUF_SIZE 0 page (-1),64
DATA_SOURCE 0 page $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 n $2
NOSPEC 1 offset
NOSPEC 2 n
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-15737418236[c]
USER_DATA 2 n 0-14442450941,18446744071562067968-u64max[c]
UNITS 0 page unit_page
UNITS 1 offset unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 &pipe->mutex
HALF_LOCKED2 &sdev->lock
HALF_LOCKED2 &svq->vq.mutex

lib/iov_iter.c copy_page_to_iter_nofault() -> page_copy_sane()

Type Parameter Key Value
PARAM_VALUE 1 offset 0-4095
PARAM_VALUE 2 n 1-4096
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 page $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 n $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-4095[c]
USER_DATA 2 n 1-4096[c]
NO_OVERFLOW_SIMPLE 2 n
UNITS 1 offset unit_byte
UNITS 2 n unit_byte
LOCK2 global &page_offline_rwsem
HALF_LOCKED2 &pool->lock