Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_ioctl.c esas2r_read_fw() -> allocate_fw_buffers()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->buffered_ioctl_done 0-1
PARAM_VALUE 0 a->firmware.header.action 1
PARAM_VALUE 0 a->firmware.state 2
PARAM_VALUE 0 a->flash_context.comp_typ 0,2-5
PARAM_VALUE 0 a->flash_context.fi_hdr_len 0,2176
PARAM_VALUE 0 a->flash_context.func 0-1
PARAM_VALUE 0 a->flash_context.interrupt_cb 0,4870797858849771520
PARAM_VALUE 0 a->flash_context.num_comps 0,6
PARAM_VALUE 0 a->flash_context.task 0-8
PARAM_VALUE 0 a->fm_api_command_done 0-1
PARAM_VALUE 0 a->fs_api_command_done 0-1
PARAM_VALUE 0 a->nvram_command_done 0-1
PARAM_VALUE 0 a->nvram_semaphore.first_waiter->up 0-1
PARAM_VALUE 0 a->pcid->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 a->vda_command_done 0-1
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 length unit_byte
HALF_LOCKED2 &of->mutex

drivers/scsi/esas2r/esas2r_ioctl.c esas2r_write_fw() -> allocate_fw_buffers()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->firmware.state 0
PARAM_VALUE 1 length 0-1048576
DATA_SOURCE 0 a $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 length unit_byte
HALF_LOCKED2 &of->mutex