Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/bcm-sba-raid.c _sba_process_pending_requests() -> sba_send_mbox_request()

Type Parameter Key Value
PARAM_VALUE 0 sba 4096-ptr_max
PARAM_VALUE 0 sba->mchan 0,4096-u64max
PARAM_VALUE 0 sba->reqs_active_list.prev 4096-ptr_max
PARAM_VALUE 0 sba->reqs_active_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sba->reqs_active_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 req->flags 0,8-u32max
PARAM_VALUE 1 req->node.next 4096-ptr_max
PARAM_VALUE 1 req->node.next->prev 4096-ptr_max
PARAM_VALUE 1 req->node.prev->next 4096-ptr_max
CAPPED_DATA 0 &sba->reqs_pending_list 1
DATA_SOURCE 0 sba $0
PARAM_COMPARE 0 &sba->reqs_pending_list != $0->reqs_pending_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &sba->reqs_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sba_device)->reqs_lock