Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/aacraid/commsup.c aac_send_safw_hostttime() -> aac_send_wellness_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->aif_thread 1
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->pdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->pdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->pdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->queues 4096-ptr_max
PARAM_VALUE 0 dev->queues->queue 4096-ptr_max
PARAM_VALUE 0 dev->sa_firmware 1-255
PARAM_VALUE 0 dev->scsi_host_ptr->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->free_fib->hw_fib_va->data 0-4294967295
PARAM_VALUE 1 wellness_str 4096-ptr_max
PARAM_VALUE 2 datasize 23
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
BUF_SIZE 1 wellness_str 23
DATA_SOURCE 0 dev $0
STR_LEN 0 dev 22
TERMINATED 1 wellness_str 1
HOST_DATA 0 dev->free_fib->dev->max_msix 0-u16max
UNITS 2 datasize unit_byte