Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_log.c esas2r_log() -> esas2r_log_master()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
PARAM_VALUE 1 dev 0
PARAM_VALUE 2 format 4096-ptr_max
BUF_SIZE 2 format 10,14-20,23-34,36-41,43-45,48,50-59,62,64,66-67,70-71,73,79-80,85
BUF_SIZE 2 format 10,14-20,23-34,36-41,43-45,48,50-59,62,64,66-67,70-71,73,79-80,85
BUF_SIZE 3 args 8
BUF_SIZE 3 args 8
DATA_SOURCE 0 level $0
DATA_SOURCE 2 format $1
STR_LEN 0 level 9,13-19,22-33,35-40,42-44,47,49-58,61,63,65-66,69-70,72,78-79,84
STR_LEN 0 level 9,13-19,22-33,35-40,42-44,47,49-58,61,63,65-66,69-70,72,78-79,84
STR_LEN 1 dev (-1),7,14,16,19,23,28,30,37
STR_LEN 2 format (-1),7,14,16,19,23,28,30,37
STR_LEN 3 *args (-1),7,14,16,19,23,28,30,37
PARAM_COMPARE 2 &format == $3
TERMINATED 2 format 1
TERMINATED 3 *args 1
HARD_MAX 0 level 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &a->mem_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &buffered_ioctl_semaphore

drivers/scsi/esas2r/esas2r_log.c esas2r_log_dev() -> esas2r_log_master()

Type Parameter Key Value
PARAM_VALUE 0 level 1-4
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 format 4096-ptr_max
BUF_SIZE 1 dev (-1),4,16,24-s32max
BUF_SIZE 1 dev (-1),4,16,24-s32max
BUF_SIZE 2 format 19-21,23-28,30-31,33-34,36,39-43,47,50,79
BUF_SIZE 2 format 19-21,23-28,30-31,33-34,36,39-43,47,50,79
BUF_SIZE 3 args 8
BUF_SIZE 3 args 8
DATA_SOURCE 0 level $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 format $2
STR_LEN 0 level 18-20,22-27,29-30,32-33,35,38-42,46,49,78
STR_LEN 0 level 18-20,22-27,29-30,32-33,35,38-42,46,49,78
STR_LEN 1 dev (-1),2
STR_LEN 1 dev (-1),2
PARAM_COMPARE 2 &format == $3
TERMINATED 2 format 1
TERMINATED 3 *args 1
HARD_MAX 0 level 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &a->queue_lock
HALF_LOCKED2 flags
HALF_LOCKED2 1 &dev->mutex