Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/kfifo.c __kfifo_in() -> kfifo_copy_in()

Type Parameter Key Value
PARAM_VALUE 0 fifo 4096-ptr_max
BUF_SIZE 0 fifo 24
BUF_SIZE 1 src s32min-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 fifo $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 len $2 [m]
STR_LEN 0 fifo (-1),4-6,255,510
STR_LEN 0 fifo (-1),4-6,255,510
STR_LEN 1 src (-1),4,6
STR_LEN 1 src (-1),4,6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 len 0-s32max[c]
USER_DATA 2 len 1-s32max[c]
UNITS 1 src unit_byte
UNITS 3 off unit_byte
USER_PTR 1 src
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &c->io_mutex
HALF_LOCKED2 &c->unlink
HALF_LOCKED2 &client->lock
HALF_LOCKED2 &client->write_lock
HALF_LOCKED2 &cons->lock
HALF_LOCKED2 &core->cmd_lock
HALF_LOCKED2 &counter->events_in_lock
HALF_LOCKED2 &counter->events_list_lock
HALF_LOCKED2 &ctx->bitstream_mutex
HALF_LOCKED2 &ctx->buffer_meta_lock
HALF_LOCKED2 &ctx->buffer_mutex
HALF_LOCKED2 &ctx->cdev->wait.lock
HALF_LOCKED2 &ddev->client_lock
HALF_LOCKED2 &ddev->write_lock
HALF_LOCKED2 &dev->coda_mutex
HALF_LOCKED2 &dev->irq_spinlock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &djrcv_dev->lock
HALF_LOCKED2 &dlci->lock
HALF_LOCKED2 &edge_port->ep_lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &gb->mutex
HALF_LOCKED2 &gb_tty->write_lock
HALF_LOCKED2 &hdev->debug_list_lock
HALF_LOCKED2 &hisi_ptt->filter_update_lock
HALF_LOCKED2 &info->slock
HALF_LOCKED2 &ir_state->rx_kfifo_lock
HALF_LOCKED2 &le->wait.lock
HALF_LOCKED2 &lr->wait.lock
HALF_LOCKED2 &nh->srcu
HALF_LOCKED2 &node->interrupt_lock
HALF_LOCKED2 &pcdev->lock
HALF_LOCKED2 &pcdev->ntf_fifo_lock
HALF_LOCKED2 &pdata->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 &port->write_lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &priv->fifo_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->pw_fifo_lock
HALF_LOCKED2 &ras_core->seqno_lock
HALF_LOCKED2 &ras_proc->fifo_spinlock
HALF_LOCKED2 &remote->remote_lock
HALF_LOCKED2 &session->back_lock
HALF_LOCKED2 &session->eh_mutex
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 &state->rx_kfifo_lock
HALF_LOCKED2 &state->uart_port->lock
HALF_LOCKED2 &tascam->midi_in_lock
HALF_LOCKED2 &tcp_task->pool2queue
HALF_LOCKED2 &tcp_task->queue2pool
HALF_LOCKED2 &tlb_flush_fifo->write_lock
HALF_LOCKED2 &tport->tp_lock
HALF_LOCKED2 &ubq->evts_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 __flags
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &aer_recover_ring_lock
HALF_LOCKED2 global &sony_laptop_input.fifo_lock
HALF_LOCKED2 global &sonypi_compat.fifo_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/kfifo.c __kfifo_in_r() -> kfifo_copy_in()

Type Parameter Key Value
PARAM_VALUE 0 fifo 4096-ptr_max
PARAM_VALUE 0 fifo->data 4096-ptr_max
PARAM_VALUE 0 *fifo->data 0-255
BUF_SIZE 0 fifo 24
BUF_SIZE 1 src s32min-(-1),1-s32max
BUF_SIZE 1 src s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 fifo $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 len $2
BIT_INFO 2 len 0x0,0x7fffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 1-s32max[c]
NO_OVERFLOW_SIMPLE 1 *src
NO_OVERFLOW_SIMPLE 2 len
UNITS 1 src unit_byte
UNITS 2 len unit_byte
UNITS 3 off unit_byte
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &ctx->kfifo_lock
HALF_LOCKED2 &dev->lirc_fh_lock
HALF_LOCKED2 &info->slock
HALF_LOCKED2 &log_mgr->lock
HALF_LOCKED2 &mf_cpu->lock
HALF_LOCKED2 &midi->transmit_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 &queue->queuelock
HALF_LOCKED2 &rt2x00dev->irqmask_lock
HALF_LOCKED2 &sec_req->lock
HALF_LOCKED2 &state->uart_port->lock
HALF_LOCKED2 &subsys->lock
HALF_LOCKED2 &ubq->evts_lock
HALF_LOCKED2 __flags
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &cxl_cper_prot_err_work_lock
HALF_LOCKED2 global &cxl_cper_work_lock
HALF_LOCKED2 global &ir_raw_handler_lock
HALF_LOCKED2 irq
HALF_LOCKED2 proc_flags