Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfs/pagelist.c nfs_pageio_resend() -> nfs_set_pgio_error()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 error s32min-(-1)
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
CAPPED_DATA 0 &hdr->pages 1
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pos unit_byte
HALF_LOCKED2 &pool->lock

fs/nfs/pagelist.c nfs_pgio_result() -> nfs_set_pgio_error()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 error s32min-(-1)
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pos unit_byte

fs/nfs/read.c nfs_readpage_retry() -> nfs_set_pgio_error()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pos unit_byte
HALF_LOCKED2 &pool->lock

fs/nfs/write.c nfs_writeback_result() -> nfs_set_pgio_error()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
CAPPED_DATA 0 &hdr->pages 1
DATA_SOURCE 0 hdr $1
PARAM_COMPARE 0 &hdr->pages != $0->pages.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 pos unit_byte
HALF_LOCKED2 &pool->lock