Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/cec/platform/s5p/s5p_cec.c s5p_cec_irq_handler() -> s5p_cec_get_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 cec 4096-ptr_max
PARAM_VALUE 0 cec->msg.len 0-16
PARAM_VALUE 0 cec->msg.rx_status 1
PARAM_VALUE 0 cec->rx 1
PARAM_VALUE 1 size 0-16
BUF_SIZE 2 buffer 16
DATA_SOURCE 0 cec $1
FUZZY_MAX 0 cec->msg.len 16
FUZZY_MAX 1 size 16
BIT_INFO 0 cec->msg.len 0x0,0xff
HARD_MAX 0 cec->msg.len 16
HARD_MAX 1 size 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 cec->msg.len 0-16
HOST_DATA 1 size 0-16
UNITS 1 size unit_byte
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags