Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/scsi/mvsas/mv_64xx.c mvs_64xx_isr() -> mvs_int_full()

Type Parameter Key Value
PARAM_VALUE 0 mvi 4096-ptr_max
PARAM_VALUE 0 mvi->chip 4096-ptr_max
PARAM_VALUE 0 mvi->chip->dispatch 4096-ptr_max
PARAM_VALUE 0 mvi->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mvi->pdev 4096-ptr_max
DATA_SOURCE 0 mvi $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &mvi->lock
TYPE_LOCK (struct mvs_info)->lock

drivers/scsi/mvsas/mv_94xx.c mvs_94xx_isr() -> mvs_int_full()

Type Parameter Key Value
PARAM_VALUE 0 mvi 4096-ptr_max
PARAM_VALUE 0 mvi->chip 4096-ptr_max
PARAM_VALUE 0 mvi->chip->dispatch 4096-ptr_max
PARAM_VALUE 0 mvi->id 0-1
PARAM_VALUE 0 mvi->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mvi->pdev 4096-ptr_max
DATA_SOURCE 0 mvi $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &mvi->lock
TYPE_LOCK (struct mvs_info)->lock

drivers/scsi/mvsas/mv_sas.c mvs_int_rx() -> (struct mvs_dispatch)->int_full()

Type Parameter Key Value
PARAM_VALUE 0 mvi 4096-ptr_max
PARAM_VALUE 0 mvi->chip 4096-ptr_max
PARAM_VALUE 0 mvi->chip->dispatch 4096-ptr_max
PARAM_VALUE 0 mvi->chip->n_phy 1-s32max
PARAM_VALUE 0 mvi->rx 4096-ptr_max
CAPPED_DATA 0 mvi->rx_cons 1
DATA_SOURCE 0 mvi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &mvi->lock