Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/w1/w1_netlink.c w1_get_slaves() -> w1_search_process_cb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->bus_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->bus_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 dev->bus_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->bus_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->bus_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->bus_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.p->dead 0-1
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->list_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->list_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->list_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->list_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->priv 4096-ptr_max
PARAM_VALUE 0 dev->priv->first_cn->len 0-u16max
PARAM_VALUE 0 dev->thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 dev->thread->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 dev->thread->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 dev->thread->kcov->mode 0-4294967295
PARAM_VALUE 0 dev->thread->kcov->remote 0-1
PARAM_VALUE 0 dev->thread->kcov->remote_size 0-4294967295
PARAM_VALUE 0 dev->thread->kcov_remote->mode 0-4294967295
PARAM_VALUE 0 dev->thread->kcov_remote->remote 0-1
PARAM_VALUE 0 dev->thread->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 0 dev->thread->ptracer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 dev->thread->ptracer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 dev->thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 search_type 236,240
BUF_SIZE 0 dev (-1),128
BUF_SIZE 0 dev (-1),128
CAPPED_DATA 0 dev->priv->maxlen 1
DATA_SOURCE 0 dev $0
FUZZY_MAX 1 search_type 240
BIT_INFO 1 search_type 0xe0,0xfc
HARD_MAX 1 search_type 240
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->max_slave_count

drivers/w1/w1.c w1_search_process() -> w1_search_process_cb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dev->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->search_count s32min-(-1),1-s32max
PARAM_VALUE 1 search_type 240
BUF_SIZE 0 dev 128
BUF_SIZE 0 dev 128
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 search_type $1
NOCHECK_CALL
LOCK2 0 &dev->mutex
TYPE_LOCK (struct w1_master)->mutex