Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/scsi/esas2r/esas2r_flash.c esas2r_read_flash_block() -> esas2r_map_data_window()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->window_base 0,3959422976-u32max
PARAM_VALUE 1 addr_lo 3959422976,4227858432
BUF_SIZE 0 a->fw_event_q (-1),512,528-8720
BUF_SIZE 0 a->host (-1),4520-s32max
BUF_SIZE 0 a->pcid (-1),1-s32max
DATA_SOURCE 0 a $0
FUZZY_MAX 1 addr_lo 4227858432
BIT_INFO 1 addr_lo 0xec000000,0xfc000000
HARD_MAX 1 addr_lo 4227858432
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 a->pcid->current_state 0[c]
NO_OVERFLOW_SIMPLE 0 a->inbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->inbound_list_md.phys_addr
NO_OVERFLOW_SIMPLE 0 a->outbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->outbound_list_md.phys_addr
NO_OVERFLOW_SIMPLE 0 a->pcid->msix_base
NO_OVERFLOW_SIMPLE 0 a->uncached_phys
NO_OVERFLOW_SIMPLE 0 a->uncached_size
HALF_LOCKED2 0 &a->nvram_semaphore

drivers/scsi/esas2r/esas2r_main.c esas2r_read_mem_block() -> esas2r_map_data_window()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->window_base 0,3959422976-u32max
PARAM_VALUE 1 addr_lo 0,4094164992-u32max
BUF_SIZE 0 a->fw_event_q (-1),512,8712
BUF_SIZE 0 a->host (-1),4520-s32max
DATA_SOURCE 0 a $0
BIT_INFO 1 addr_lo 0x0,0xfffe0000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 a->pcid->current_state 0[c]
NO_OVERFLOW_SIMPLE 0 a->inbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->outbound_list_md.esas2r_param
NO_OVERFLOW_SIMPLE 0 a->pcid->dev.cma_area->available_count
NO_OVERFLOW_SIMPLE 0 a->uncached_phys
NO_OVERFLOW_SIMPLE 0 a->uncached_size