Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/pipe.c create_pipe_files() -> watch_queue_init()

Type Parameter Key Value
PARAM_VALUE 0 pipe 4096-ptr_max
PARAM_VALUE 0 pipe->bufs 16,4096-ptr_max
PARAM_VALUE 0 pipe->max_usage 2,16
PARAM_VALUE 0 pipe->mutex.first_waiter 0
PARAM_VALUE 0 pipe->mutex.magic 4096-ptr_max
PARAM_VALUE 0 pipe->mutex.osq.tail.counter 0
PARAM_VALUE 0 pipe->mutex.owner.counter 0
PARAM_VALUE 0 pipe->nr_accounted 2,16
PARAM_VALUE 0 pipe->r_counter 1
PARAM_VALUE 0 pipe->rd_wait.head.next 4096-ptr_max
PARAM_VALUE 0 pipe->rd_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pipe->ring_size 2,16
PARAM_VALUE 0 pipe->user 4096-ptr_max
PARAM_VALUE 0 pipe->w_counter 1
PARAM_VALUE 0 pipe->wr_wait.head.next 4096-ptr_max
PARAM_VALUE 0 pipe->wr_wait.head.prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pipe->max_usage
NO_OVERFLOW_SIMPLE 0 pipe->nr_accounted
NO_OVERFLOW_SIMPLE 0 pipe->ring_size