Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mpi3mr/mpi3mr_transport.c mpi3mr_transport_smp_handler() -> mpi3mr_map_smp_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 dma_addr 6551332794289786880
PARAM_VALUE 3 dma_len 3249089514017705984
PARAM_VALUE 4 p 8683100089411833856
PARAM_VALUE 4 *p 0
PARAM_VALUE 4 *(*p) 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/scsi/mpi3mr/mpi3mr_transport.c mpi3mr_transport_smp_handler() -> mpi3mr_map_smp_buffer()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 1 buf->payload_len 1-u32max
PARAM_VALUE 2 dma_addr 6541041129201463296
PARAM_VALUE 3 dma_len 2196638727451328512
PARAM_VALUE 4 p 2638799807376818176
PARAM_VALUE 4 *p 0
PARAM_VALUE 4 *(*p) 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read