Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 msb 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.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->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->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->read_only 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
PARAM_VALUE 1 state_func 3823441835176067072
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
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_read_oob() -> msb_run_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->block_buffer 16,4096-ptr_max
PARAM_VALUE 0 msb->block_count 1-u16max
PARAM_VALUE 0 msb->block_size 0-4000000
PARAM_VALUE 0 msb->boot_block_count 1-s32max
PARAM_VALUE 0 msb->boot_block_locations 4096-ptr_max
PARAM_VALUE 0 msb->boot_page 4096-ptr_max
PARAM_VALUE 0 msb->cache 1-u64max
PARAM_VALUE 0 msb->cache_block_lba u16max
PARAM_VALUE 0 msb->cache_flush_timer.entry.pprev 0
PARAM_VALUE 0 msb->cache_flush_timer.flags 0-4194302
PARAM_VALUE 0 msb->cache_flush_timer.lockdep_map->name 0-255
PARAM_VALUE 0 msb->card 4096-ptr_max
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.owner (-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->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.util_avg 0-4294967295
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->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->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 2779538293573267456,5405411951007117312
PARAM_VALUE 0 msb->current_sg_offset 0-2147483646
PARAM_VALUE 0 msb->exit_error 0
PARAM_VALUE 0 msb->ftl_initialized 1
PARAM_VALUE 0 msb->int_polling 0
PARAM_VALUE 0 msb->page_size 0-4096
PARAM_VALUE 0 msb->regs.param.block_address 0-65534
PARAM_VALUE 0 msb->regs.param.cp 64
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->used_blocks_bitmap 4096-ptr_max
PARAM_VALUE 0 *msb->boot_block_locations 0-11
PARAM_VALUE 0 *msb->card->host->private->io_thread->delays->lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *msb->free_block_count s32min-s32max
PARAM_VALUE 1 state_func 8520565600532500480
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
CAPPED_DATA 0 msb->block_count 1
CAPPED_DATA 0 msb->regs.param.block_address 1
DATA_SOURCE 0 msb $0
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
HALF_LOCKED2 &card->host->lock

drivers/memstick/core/ms_block.c msb_read_page() -> msb_run_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->block_count 1-s32max
PARAM_VALUE 0 msb->regs.param.block_address 0-65534
PARAM_VALUE 0 msb->regs.param.cp 32
PARAM_VALUE 0 *msb->boot_block_locations 0-u16max
PARAM_VALUE 1 state_func 8520565600532500480
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
DATA_SOURCE 0 msb $0
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_reset() -> msb_run_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->card 4096-ptr_max
PARAM_VALUE 0 msb->prealloc_sg->offset 0-4294967295
PARAM_VALUE 0 msb->regs.param.system 128
PARAM_VALUE 0 msb->state (-1)-0
PARAM_VALUE 1 state_func 7732220839079567360
BUF_SIZE 0 msb s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-1),1-s32max
BUF_SIZE 0 msb->boot_page (-1),4,24,64,168-s32max
BUF_SIZE 0 msb->current_sg (-1),1056
DATA_SOURCE 0 msb $0
HARD_MAX 0 msb->state 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msb->current_sg->length
NO_OVERFLOW_SIMPLE 0 msb->current_sg_offset
NO_OVERFLOW_SIMPLE 0 msb->logical_block_count
UNITS 0 msb unit_byte
HALF_LOCKED2 &pool->lock

drivers/memstick/core/ms_block.c msb_set_overwrite_flag() -> msb_run_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->command_need_oob 1
PARAM_VALUE 0 msb->command_value 85
PARAM_VALUE 0 msb->read_only 0
PARAM_VALUE 0 msb->regs.extra_data.overwrite_flag 127,159,191,239
PARAM_VALUE 0 msb->regs.param.cp 128
PARAM_VALUE 0 *msb->boot_block_locations 0-u16max
PARAM_VALUE 1 state_func 3823441835176067072
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
DATA_SOURCE 0 msb $0
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_switch_to_parallel() -> msb_run_state_machine()

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.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->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->exit_error 0
PARAM_VALUE 0 msb->int_polling 0
PARAM_VALUE 0 msb->prealloc_sg->offset 0-4294967295
PARAM_VALUE 0 msb->regs.param.system 128
PARAM_VALUE 0 msb->state 0
PARAM_VALUE 1 state_func 315648935600816128
BUF_SIZE 0 msb s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-1),1-s32max
BUF_SIZE 0 msb->boot_page (-1),4,24,64,168-s32max
BUF_SIZE 0 msb->current_sg (-1),1056
DATA_SOURCE 0 msb $0
MEM_ZERO 0 &msb->card->current_mrq
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msb->current_sg->length
NO_OVERFLOW_SIMPLE 0 msb->current_sg_offset
NO_OVERFLOW_SIMPLE 0 msb->logical_block_count
UNITS 0 msb unit_byte

drivers/memstick/core/ms_block.c msb_write_block() -> msb_run_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->block_count 1-s32max
PARAM_VALUE 0 msb->boot_block_locations 4096-ptr_max
PARAM_VALUE 0 msb->current_page 0
PARAM_VALUE 0 msb->current_sg 4096-ptr_max
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->read_only 0
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 1 state_func 1694252789692252160
BUF_SIZE 0 msb->current_sg (-1),1056
CAPPED_DATA 0 msb->current_sg_offset 1
CAPPED_DATA 0 msb->page_size 1
CAPPED_DATA 0 msb->regs.extra_data.logical_address 1
CAPPED_DATA 0 msb->regs.param.block_address 1
DATA_SOURCE 0 msb $0
HALF_LOCKED2 &pool->lock