Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/scsi/scsi_debug.c resp_pre_fetch() -> prefetch_range()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 0 *addr 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/scsi_debug.c resp_pre_fetch() -> prefetch_range()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex

drivers/infiniband/hw/hfi1/driver.c process_rcv_packet() -> prefetch_range()

Type Parameter Key Value
PARAM_VALUE 1 len 0-u32max
DATA_SOURCE 0 addr r get_egrbuf
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte

drivers/infiniband/hw/hfi1/driver.c process_rcv_packet_napi() -> prefetch_range()

Type Parameter Key Value
PARAM_VALUE 1 len 0-u32max
DATA_SOURCE 0 addr r get_egrbuf
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte