Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_main.c esas2r_firmware_event_work() -> esas2r_send_ae_event()

Type Parameter Key Value
PARAM_VALUE 0 fw_event 4096-ptr_max
PARAM_VALUE 0 fw_event->a 4096-ptr_max
PARAM_VALUE 0 fw_event->a->fw_events_off 0
PARAM_VALUE 0 fw_event->data 4096-ptr_max
PARAM_VALUE 0 fw_event->type 4
NOCHECK_CALL
HALF_LOCKED2 &pool->lock