Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fsi/fsi-sbefifo.c sbefifo_dump_ffdc() -> __sbefifo_dump_ffdc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ffdc 1-u64max
PARAM_VALUE 2 ffdc_sz 1-u32max,4611686018177389952-4611686018427387900
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 1 ffdc (-1),8192
BUF_SIZE 1 ffdc (-1),8192
CAPPED_DATA 2 ffdc_sz 1
CAPPED_DATA 2 ffdc_sz 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 ffdc $1
DATA_SOURCE 2 ffdc_sz $2
DATA_SOURCE 3 internal $3
FUZZY_MAX 2 ffdc_sz 1
NOSPEC 2 ffdc_sz
NOSPEC 2 ffdc_sz
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 ffdc_sz 1-2048,4611686018177389952-4611686018427387900[c]
UNITS 0 dev unit_byte
LOCK2 global &sbefifo_ffdc_mutex
HALF_LOCKED2 &occ->occ_lock
HALF_LOCKED2 &sbefifo->lock