Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/relay.c relay_close() -> relay_close_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &relay_channels_mutex
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &log->relay.lock
HALF_LOCKED2 &q->debugfs_mutex

kernel/relay.c relay_close() -> relay_close_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 0 buf->chan->cb->remove_buf_file 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &relay_channels_mutex
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &log->relay.lock
HALF_LOCKED2 &q->debugfs_mutex

kernel/relay.c relay_open() -> relay_close_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 0 buf->chan->cb 4096-ptr_max
PARAM_VALUE 0 buf->chan->cb->remove_buf_file 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &relay_channels_mutex
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &log->relay.lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &q->debugfs_mutex