Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/memstick/core/mspro_block.c mspro_block_switch_interface() -> mspro_block_set_interface()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->current_mrq->data | 0-255 |
| PARAM_VALUE | 0 | card->current_mrq.data_len | 1,4,6,8 |
| PARAM_VALUE | 0 | card->current_mrq.error | (-110) |
| PARAM_VALUE | 0 | card->current_mrq.long_data | 0 |
| PARAM_VALUE | 0 | card->current_mrq.tpc | 7 |
| PARAM_VALUE | 0 | card->dev.driver_data | 4096-ptr_max |
| 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->blocked_on | 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->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.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.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | card->host->private->io_thread->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->saved_state | 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.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->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| 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->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | card->host->private->notify.next | 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 | 1623935280368578560 |
| PARAM_VALUE | 0 | card->reg_addr.r_length | 4 |
| PARAM_VALUE | 0 | card->reg_addr.r_offset | 0 |
| PARAM_VALUE | 0 | card->reg_addr.w_length | 8 |
| PARAM_VALUE | 0 | card->reg_addr.w_offset | 16 |
| PARAM_VALUE | 1 | sys_reg | 0 |
| DATA_SOURCE | 0 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &host->lock |
drivers/memstick/core/mspro_block.c mspro_block_switch_interface() -> mspro_block_set_interface()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->current_mrq->data | 0-255 |
| PARAM_VALUE | 0 | card->current_mrq.data_len | 1,4,6,8 |
| PARAM_VALUE | 0 | card->current_mrq.error | (-110) |
| PARAM_VALUE | 0 | card->current_mrq.long_data | 0 |
| PARAM_VALUE | 0 | card->current_mrq.tpc | 11 |
| PARAM_VALUE | 0 | card->dev.driver_data | 4096-ptr_max |
| 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->blocked_on | 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->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.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | card->host->private->io_thread->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | card->host->private->io_thread->pushable_dl_tasks.__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->saved_state | 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->idle | 0 |
| PARAM_VALUE | 0 | card->host->private->io_thread->sched_task_group->parent | 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->propagate | 1 |
| 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->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| 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.rel_deadline | 0 |
| PARAM_VALUE | 0 | card->host->private->io_thread->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | card->host->private->notify.next | 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 | 1623935280368578560 |
| PARAM_VALUE | 0 | card->reg_addr.r_length | 4 |
| PARAM_VALUE | 0 | card->reg_addr.r_offset | 0 |
| PARAM_VALUE | 0 | card->reg_addr.w_length | 8 |
| PARAM_VALUE | 0 | card->reg_addr.w_offset | 16 |
| PARAM_VALUE | 1 | sys_reg | 64 |
| DATA_SOURCE | 0 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &host->lock |
drivers/memstick/core/mspro_block.c mspro_block_switch_interface() -> mspro_block_set_interface()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->current_mrq->data | 0-255 |
| PARAM_VALUE | 0 | card->current_mrq.data_len | 1,4,6,8 |
| PARAM_VALUE | 0 | card->current_mrq.error | (-110) |
| PARAM_VALUE | 0 | card->current_mrq.long_data | 0 |
| PARAM_VALUE | 0 | card->current_mrq.tpc | 7 |
| PARAM_VALUE | 0 | card->dev.driver_data | 4096-ptr_max |
| 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->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.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->propagate | 1 |
| 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->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| 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.rel_deadline | 0 |
| PARAM_VALUE | 0 | card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| 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->reg_addr.r_length | 4 |
| PARAM_VALUE | 0 | card->reg_addr.r_offset | 0 |
| PARAM_VALUE | 0 | card->reg_addr.w_length | 8 |
| PARAM_VALUE | 0 | card->reg_addr.w_offset | 16 |
| PARAM_VALUE | 1 | sys_reg | 128 |
| DATA_SOURCE | 0 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &host->lock |