Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/bfa/bfa_svc.c bfa_plog_add() -> plkd_validate_logrec()

Type Parameter Key Value
PARAM_VALUE 0 pl_rec 3705858745829236736,4991800152535724032
PARAM_VALUE 0 pl_rec->eid 3-6,10,16,19-24
PARAM_VALUE 0 pl_rec->log_num_ints 0,3-4,8
PARAM_VALUE 0 pl_rec->log_type 1-2
PARAM_VALUE 0 pl_rec->mid 2-5,7
DATA_SOURCE 0 pl_rec $1
HARD_MAX 0 pl_rec->log_type 2
MEM_ZERO 0 pl_rec
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bfad->bfad_lock
HALF_LOCKED2 flags