Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/kfifo.c __kfifo_out_peek() -> kfifo_copy_out()

Type Parameter Key Value
PARAM_VALUE 0 fifo 4096-ptr_max
BUF_SIZE 0 fifo 24
BUF_SIZE 1 dst (-1),4096
BUF_SIZE 1 dst (-1),4096
CAPPED_DATA 2 len 1
DATA_SOURCE 0 fifo $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 len $2 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 len 0-4[c]
USER_DATA 2 len 0-16384[c]
UNITS 1 dst unit_byte
UNITS 2 len unit_byte
UNITS 3 off unit_byte
HALF_LOCKED2 &gb_tty->write_lock
HALF_LOCKED2 flags

lib/kfifo.c kfifo_out_copy_r() -> kfifo_copy_out()

Type Parameter Key Value
PARAM_VALUE 0 fifo 4096-ptr_max
PARAM_VALUE 0 fifo->data 4096-ptr_max
PARAM_VALUE 1 dst 16,4096-ptr_max
PARAM_VALUE 2 len 0-u16max
BUF_SIZE 0 fifo 24
BUF_SIZE 1 dst 0-u16max
BUF_SIZE 1 dst 0-u16max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 fifo $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 len $2 [m]
PARAM_COMPARE 1 dst >= $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte
UNITS 3 off unit_byte