Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c hpsa_do_reset() -> hpsa_send_reset()

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->reset_in_progress 1
PARAM_VALUE 0 h->reset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->reset_mutex.dep_map->name 0-255
PARAM_VALUE 0 h->reset_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 h->reset_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 h->reset_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 h->reset_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 h->reset_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 h->reset_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->devtype 0-12,14-u32max
PARAM_VALUE 1 dev->in_reset 1
PARAM_VALUE 2 reset_type 1,153
PARAM_VALUE 3 reply_queue (-1)
BUF_SIZE 1 dev 12,16,18,24,32,272,280,520,2064
BUF_SIZE 1 dev 12,16,18,24,32,272,280,520,2064
CAPPED_DATA 0 &h->reset_mutex 1
DATA_SOURCE 0 h $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 reset_type $2
DATA_SOURCE 3 reply_queue $3
FUZZY_MAX 2 reset_type 153
BIT_INFO 2 reset_type 0x1,0x99
HARD_MAX 2 reset_type 153
HOST_DATA 0 h->last_heartbeat 0-u32max
UNITS 1 dev unit_byte
LOCK2 0 &h->reset_mutex
TYPE_LOCK (struct ctlr_info)->reset_mutex