Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/memstick/core/ms_block.c msb_cache_flush() -> msb_set_overwrite_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msb | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->cache_block_lba | s32min-65534,65536-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->blocked_on | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->saved_state | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_left->rb_right | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_right->rb_left | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->host->private->notify.next | 0 |
| PARAM_VALUE | 0 | msb->card->mrq_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->next_request | 315648935600816128,1694252789692252160,3823441835176067072,7732220839079567360,8520565600532500480 |
| PARAM_VALUE | 0 | msb->current_page | 0 |
| PARAM_VALUE | 0 | msb->current_sg | 1257996196067512320 |
| PARAM_VALUE | 0 | msb->current_sg_offset | 0 |
| PARAM_VALUE | 0 | msb->exit_error | 0 |
| PARAM_VALUE | 0 | msb->int_polling | 0 |
| PARAM_VALUE | 0 | msb->lba_to_pba_table | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->logical_block_count | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | msb->need_flush_cache | 0 |
| PARAM_VALUE | 0 | msb->pages_in_block | 1-s32max |
| PARAM_VALUE | 0 | msb->q_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->regs.extra_data.logical_address | 0-65534 |
| PARAM_VALUE | 0 | msb->regs.extra_data.management_flag | 255 |
| PARAM_VALUE | 0 | msb->regs.extra_data.overwrite_flag | 127,159,248 |
| PARAM_VALUE | 0 | msb->regs.param.cp | 0,128 |
| PARAM_VALUE | 0 | msb->state | 0 |
| PARAM_VALUE | 0 | *msb->card->host->private->io_thread->delays->lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *msb->lba_to_pba_table | 0-64 |
| PARAM_VALUE | 3 | flag | 159 |
| CAPPED_DATA | 0 | msb->cache | 1 |
| CAPPED_DATA | 0 | msb->cache_block_lba | 1 |
| CAPPED_DATA | 0 | msb->page_size | 1 |
| CAPPED_DATA | 0 | msb->pages_in_block | 1 |
| CAPPED_DATA | 2 | page | 1 |
| DATA_SOURCE | 0 | msb | $0 |
| PARAM_COMPARE | 0 | msb->cache_block_lba | < $0->logical_block_count |
| PARAM_COMPARE | 0 | msb->pages_in_block | > $2 |
| PARAM_COMPARE | 2 | page | < $0->pages_in_block |
| NOCHECK_CALL | |||
| UNITS | 2 | page | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/memstick/core/ms_block.c msb_mark_bad() -> msb_set_overwrite_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msb | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->addr_valid | 0 |
| PARAM_VALUE | 0 | msb->card | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->host->private->clock | 19000000,39000000 |
| PARAM_VALUE | 0 | msb->card->host->private->ifmode | 0-2 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->blocked_on | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->saved_state | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.avg.period_contrib | 0-4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.avg.util_sum | 0-4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.depth | s32min-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_left->rb_right | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_right->rb_left | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->host->private->notify.next | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->ssc_depth | 2-3 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->cmd_idx | 0-254 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->next_request | 315648935600816128,1694252789692252160,3823441835176067072,7732220839079567360,8520565600532500480 |
| PARAM_VALUE | 0 | msb->current_sg | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->exit_error | 0 |
| PARAM_VALUE | 0 | msb->int_polling | 0 |
| PARAM_VALUE | 0 | msb->reg_addr.r_length | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.r_offset | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.w_length | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.w_offset | 4 |
| PARAM_VALUE | 0 | msb->regs.param.cp | 0 |
| PARAM_VALUE | 0 | msb->regs.param.page_address | 0 |
| PARAM_VALUE | 0 | msb->regs.param.system | 128 |
| PARAM_VALUE | 0 | msb->state | 0 |
| PARAM_VALUE | 0 | *msb->boot_block_locations | 0-u16max |
| PARAM_VALUE | 0 | *msb->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 2 | page | 0 |
| PARAM_VALUE | 3 | flag | 127 |
| BUF_SIZE | 0 | msb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | msb | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | msb->page_size | 1 |
| DATA_SOURCE | 0 | msb | $0 |
| DATA_SOURCE | 1 | pba | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | msb->logical_block_count | |
| UNITS | 0 | msb | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/memstick/core/ms_block.c msb_mark_page_bad() -> msb_set_overwrite_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msb | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->addr_valid | 0 |
| PARAM_VALUE | 0 | msb->block_count | 1-s32max |
| PARAM_VALUE | 0 | msb->card | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->current_mrq.data_dir | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.data_len | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.error | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.int_reg | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.long_data | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.need_card_int | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.dma_address | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.dma_flags | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.dma_length | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.length | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.offset | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.sg.page_link | 0 |
| PARAM_VALUE | 0 | msb->card->current_mrq.tpc | 0 |
| PARAM_VALUE | 0 | msb->card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->host->private->clock | 19000000,39000000 |
| PARAM_VALUE | 0 | msb->card->host->private->ifmode | 0-2 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->blocked_on | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->saved_state | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.avg.period_contrib | 0-4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.avg.util_sum | 0-4294967295 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.depth | s32min-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_left->rb_right | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->se.run_node.rb_right->rb_left | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->io_thread_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->host->private->notify.next | 0 |
| PARAM_VALUE | 0 | msb->card->host->private->ssc_depth | 2-3 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->cmd_idx | 0-254 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | msb->card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->mrq_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->card->next_request | 315648935600816128,1694252789692252160,3823441835176067072,7732220839079567360,8520565600532500480 |
| PARAM_VALUE | 0 | msb->exit_error | 0 |
| PARAM_VALUE | 0 | msb->int_polling | 0 |
| PARAM_VALUE | 0 | msb->reg_addr.r_length | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.r_offset | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.w_length | 4 |
| PARAM_VALUE | 0 | msb->reg_addr.w_offset | 4 |
| PARAM_VALUE | 0 | msb->regs.extra_data.overwrite_flag | 64-255 |
| PARAM_VALUE | 0 | msb->regs.param.block_address | 0-65534 |
| PARAM_VALUE | 0 | msb->regs.param.cp | 32 |
| PARAM_VALUE | 0 | msb->regs.param.system | 128 |
| PARAM_VALUE | 0 | msb->state | 0 |
| PARAM_VALUE | 0 | *msb->boot_block_locations | 0-u16max |
| PARAM_VALUE | 0 | *msb->card->host->private->ucr->cmd_buf | 0-255 |
| PARAM_VALUE | 1 | pba | 0-65534 |
| PARAM_VALUE | 3 | flag | 191 |
| BUF_SIZE | 0 | msb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | msb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | msb->boot_page | (-1),1024 |
| BUF_SIZE | 0 | msb->current_sg | (-1),1056 |
| CAPPED_DATA | 0 | msb->regs.param.block_address | 1 |
| CAPPED_DATA | 1 | pba | 1 |
| DATA_SOURCE | 0 | msb | $0 |
| DATA_SOURCE | 1 | pba | $1 |
| DATA_SOURCE | 2 | page | $2 |
| BIT_INFO | 0 | msb->regs.extra_data.overwrite_flag | 0x40,0xff |
| MEM_ZERO | 0 | &msb->card->current_mrq | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | msb->logical_block_count | |
| UNITS | 0 | msb | unit_byte |
| UNITS | 2 | page | unit_array_size |
| HALF_LOCKED2 | &pool->lock |
drivers/memstick/core/ms_block.c msb_update_block() -> msb_set_overwrite_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msb | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->lba_to_pba_table | 4096-ptr_max |
| PARAM_VALUE | 0 | msb->need_flush_cache | 0 |
| PARAM_VALUE | 0 | msb->q_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | msb->regs.param.cp | 0,32,64,128 |
| PARAM_VALUE | 1 | pba | 0-65534 |
| PARAM_VALUE | 2 | page | 0 |
| PARAM_VALUE | 3 | flag | 239 |
| DATA_SOURCE | 0 | msb | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |