Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sunrpc/rpc_pipe.c rpc_pipe_read() -> (struct rpc_pipe_ops)->destroy_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
BUF_SIZE 0 msg s32min-(-1),1-s32max
BUF_SIZE 0 msg s32min-(-1),1-s32max
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

net/sunrpc/rpc_pipe.c rpc_pipe_release() -> (struct rpc_pipe_ops)->destroy_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->errno (-11)
PARAM_VALUE 0 msg->list.next->prev 4096-ptr_max
PARAM_VALUE 0 msg->list.prev->next 4096-ptr_max
BUF_SIZE 0 msg (-1),26
BUF_SIZE 0 msg (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

net/sunrpc/rpc_pipe.c rpc_purge_list() -> rpc_purge_list param 2()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->errno (-110),(-32),(-11)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem