Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/memstick/core/memstick.c memstick_check() -> (struct memstick_dev)->start()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->current_mrq.error (-110)
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->host->card 0,4096-ptr_max
PARAM_VALUE 0 card->host->card->mrq_complete.done 0
PARAM_VALUE 0 card->host->private->io_thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_defer 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_non_contending 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_overrun 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_server 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_throttled 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.base->active.rb_root.rb_leftmost->prev 0
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.entry.pprev 0
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.is_hard 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.is_lazy 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.is_queued 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.dl_timer.is_soft 0-1
PARAM_VALUE 0 card->host->private->io_thread->dl.flags 0-4294967295
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_bw 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_deadline 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_defer 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_defer_armed 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_defer_running 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_density 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_non_contending 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_overrun 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_period 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_runtime 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_server 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_throttled 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->dl_yielded 0
PARAM_VALUE 0 card->host->private->io_thread->dl.pi_se->flags 0
PARAM_VALUE 0 card->host->private->io_thread->dl.rb_node.__rb_parent_color 1
PARAM_VALUE 0 card->host->private->io_thread->rseq.event.ids_changed 1
PARAM_VALUE 0 card->host->private->io_thread->rt.timeout 0
PARAM_VALUE 0 card->host->private->io_thread->sched_task_group->autogroup 0
PARAM_VALUE 0 card->host->private->io_thread->sched_task_group->cfs_rq 0
PARAM_VALUE 0 card->host->private->io_thread->sched_task_group->rt_rq 0
PARAM_VALUE 0 card->host->private->io_thread->sched_task_group->rt_se 0
PARAM_VALUE 0 card->host->private->io_thread->sched_task_group->shares 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->curr 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->propagate 1
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.load_avg 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.lock.owner_cpu 4294967295
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.nr 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.runnable_avg 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->removed.util_avg 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->donor->is_blocked 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->donor->saved_state 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->donor->se.my_q->prop_runnable_sum 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->donor->se.my_q->propagate 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->donor->se.parent->my_q->propagate 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_bw 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_deadline 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer_armed 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer_running 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_density 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_overrun 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_period 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_runtime 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_server 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_throttled 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_yielded 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->flags 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_left 0
PARAM_VALUE 0 card->host->private->io_thread->se.cfs_rq->tasks_timeline.rb_leftmost->rb_right 0
PARAM_VALUE 0 card->host->private->io_thread->se.rel_deadline 0
PARAM_VALUE 0 card->mrq_complete.done 0-4294967293,u32max
PARAM_VALUE 0 card->mrq_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 card->mrq_complete.wait.lock.owner (-1)
PARAM_VALUE 0 card->mrq_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 card->mrq_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 card->mrq_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 card->next_request 8005625906778710016
PARAM_VALUE 0 card->start 1-u64max
CAPPED_DATA 0 card->id.category 1
CAPPED_DATA 0 card->id.class 1
CAPPED_DATA 0 card->id.type 1
CONTAINER 0 *(-184+0) $(-1)
NOCHECK_CALL
LOCK2 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct memstick_host)->lock