Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pagelist.c nfs_pageio_cleanup_request() -> (struct nfs_pgio_completion_ops)->error_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 head 3449704423473582080
PARAM_VALUE 0 head->next 3449704423473582080
PARAM_VALUE 0 head->prev 4096-ptr_max
CONTAINER 1 *(-0-40+28) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/pagelist.c nfs_pageio_error_cleanup() -> (struct nfs_pgio_completion_ops)->error_cleanup()

Type Parameter Key Value
PARAM_VALUE 1 error s32min-(-1)
CONTAINER 1 *(-0-40+28) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 error

fs/nfs/pagelist.c nfs_pageio_resend() -> (struct nfs_pgio_completion_ops)->error_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 head 3963235709658701824
PARAM_VALUE 0 head->next 4096-3963235709658701823,3963235709658701825-ptr_max
PARAM_VALUE 0 head->prev 3963235709658701824
PARAM_VALUE 1 error s32min-(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock