Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/splice.c add_to_pipe() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 limit
UNITS 0 head unit_array_size

fs/splice.c link_pipe() -> pipe_full()

Type Parameter Key Value
PARAM_VALUE 2 limit 1-4294967294
CAPPED_DATA 2 limit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size

fs/splice.c pipe_is_full() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size

fs/splice.c splice_pipe_to_pipe() -> pipe_full()

Type Parameter Key Value
PARAM_VALUE 2 limit 1-4294967294
CAPPED_DATA 2 limit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size

fs/splice.c splice_to_pipe() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 limit
UNITS 0 head unit_array_size
HALF_LOCKED2 sk

fs/splice.c splice_to_pipe() -> pipe_full()

Type Parameter Key Value
PARAM_VALUE 2 limit 1-u32max
CAPPED_DATA 2 limit 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 limit
UNITS 0 head unit_array_size
HALF_LOCKED2 sk

mm/shmem.c pipe_is_full() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 limit
UNITS 0 head unit_array_size

fs/pipe.c anon_pipe_read() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size
LOCK2 &pipe->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pipe_inode_info)->mutex

fs/pipe.c anon_pipe_write() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size
LOCK2 &pipe->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pipe_inode_info)->mutex

fs/pipe.c pipe_is_full() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size
LOCK2 &pipe->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pipe_inode_info)->mutex

fs/pipe.c pipe_poll() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

fs/pipe.c pipe_writable() -> pipe_full()

Type Parameter Key Value
PARAM_VALUE 0 head 0
PARAM_VALUE 1 tail 0
CAPPED_DATA 2 limit 1
RX_PATH
TASK_NOT_RUNNING

kernel/watch_queue.c post_one_notification() -> pipe_full()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_array_size
LOCK2 &pipe->rd_wait.lock
LOCK2 &wqueue->lock
LOCK2 bh
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &key->sem
TYPE_LOCK (struct wait_queue_head)->lock
TYPE_LOCK (struct watch_queue)->lock

mm/filemap.c pipe_is_full() -> pipe_full()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 limit
UNITS 0 head unit_array_size