msb_mark_bad identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/memstick/core/ms_block.c, line 807 (as a function)

Referenced in 1 files:

drivers/memstick/core/ms_block.c
- line 848
- line 1145

Smatch caller information:

drivers/memstick/core/ms_block.c msb_erase_block() -> msb_mark_bad()

Type	Parameter	Key	Value
PARAM_VALUE	0	msb	4096-ptr_max
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->io_thread->blocked_on	0
PARAM_VALUE	0	msb->card->host->private->io_thread->delays->lock.dep_map->name	0-255
PARAM_VALUE	0	msb->card->host->private->io_thread->delays->lock.owner_cpu	4294967295
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.entry.pprev	0
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.is_hard	0-1
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.is_lazy	0-1
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.is_queued	0-1
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.dl_timer.is_soft	0-1
PARAM_VALUE	0	msb->card->host->private->io_thread->dl.rb_node.__rb_parent_color	1
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->rt.timeout	0
PARAM_VALUE	0	msb->card->host->private->io_thread->saved_state	0
PARAM_VALUE	0	msb->card->host->private->io_thread->sched_task_group->autogroup	0
PARAM_VALUE	0	msb->card->host->private->io_thread->sched_task_group->cfs_rq	0
PARAM_VALUE	0	msb->card->host->private->io_thread->sched_task_group->rt_rq	0
PARAM_VALUE	0	msb->card->host->private->io_thread->sched_task_group->rt_se	0
PARAM_VALUE	0	msb->card->host->private->io_thread->sched_task_group->shares	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->curr	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->is_blocked	0
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->saved_state	0
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->se.my_q->propagate	0
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.cfs_rq->rq->fair_server.pi_se->dl_bw	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_density	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_overrun	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_period	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_runtime	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_server	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_yielded	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->flags	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.rel_deadline	0
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.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->command_need_oob	0
PARAM_VALUE	0	msb->command_value	153
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->regs.param.cp	0
PARAM_VALUE	0	msb->regs.param.page_address	0
PARAM_VALUE	0	msb->state	0
PARAM_VALUE	0	*msb->boot_block_locations	0-u16max
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
MEM_ZERO	0	&msb->card->current_mrq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	msb->logical_block_count
UNITS	0	msb	unit_byte
HALF_LOCKED2		&pool->lock

drivers/memstick/core/ms_block.c msb_update_block() -> msb_mark_bad()

Type	Parameter	Key	Value
PARAM_VALUE	0	msb	4096-ptr_max
PARAM_VALUE	0	msb->block_count	1-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	(-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_avg	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->curr	0
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->is_blocked	0
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->rt.back->back	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->donor->saved_state	0
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->se.my_q->propagate	0
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.cfs_rq->rq->fair_server.pi_se->dl_bw	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_defer	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_density	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_overrun	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_period	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_runtime	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_server	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->dl_yielded	0
PARAM_VALUE	0	msb->card->host->private->io_thread->se.cfs_rq->rq->fair_server.pi_se->flags	0
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->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.raw_lock.val.counter	0-s32max
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	4096-ptr_max
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->q_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	msb->regs.extra_data.management_flag	255
PARAM_VALUE	0	msb->regs.extra_data.overwrite_flag	248
PARAM_VALUE	0	msb->regs.param.block_address	0-64
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->card->host->private->io_thread->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	pba	0-64
CAPPED_DATA	0	msb->block_buffer	1
CAPPED_DATA	0	msb->page_size	1
CAPPED_DATA	1	pba	1
DATA_SOURCE	0	msb	$0
DATA_SOURCE	1	pba	r msb_get_free_block
PARAM_COMPARE	0	msb->block_count	> $1
PARAM_COMPARE	1	pba	< $0->block_count
NOCHECK_CALL
HALF_LOCKED2		&pool->lock