Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/remoteproc/remoteproc_core.c rproc_get_boot_addr() -> (struct rproc_ops)->get_boot_addr()

Type Parameter Key Value
PARAM_VALUE 0 rproc 4096-ptr_max
PARAM_VALUE 0 rproc->deleting 0
PARAM_VALUE 0 rproc->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 rproc->dev.class 0,4096-ptr_max
PARAM_VALUE 0 rproc->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 rproc->firmware 0,4096-ptr_max
PARAM_VALUE 0 rproc->lock.dep_map->name 0-255
PARAM_VALUE 0 rproc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 rproc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rproc->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rproc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rproc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 rproc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 rproc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 rproc->ops 4096-ptr_max
PARAM_VALUE 0 rproc->ops->get_boot_addr 1-u64max
PARAM_VALUE 0 rproc->state 0-4,6-u32max
PARAM_VALUE 1 fw 4096-ptr_max
BUF_SIZE 0 rproc s32min-(-1),1-s32max
BUF_SIZE 0 rproc s32min-(-1),1-s32max
DATA_SOURCE 0 rproc $0
DATA_SOURCE 1 fw $1
CONTAINER 0 -112-48+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &rproc->lock
HALF_LOCKED2 &dev->dev_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rproc)->lock