Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/cdev.c vol_cdev_ioctl() -> revoke_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->mode s32min-0,2-s32max
PARAM_VALUE 0 desc->vol 4096-ptr_max
PARAM_VALUE 0 desc->vol->exclusive 1
PARAM_VALUE 0 desc->vol->metaonly 0
PARAM_VALUE 0 desc->vol->readers 0
PARAM_VALUE 0 desc->vol->ubi 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->dl.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->dl.rb_node.__rb_parent_color 1
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->dl.rb_node.rb_left 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->sched_task_group->parent 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->sched_task_group->shares 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->se.cfs_rq->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 0 desc->vol->ubi->fm_buf->magic 2064766623
PARAM_VALUE 0 desc->vol->ubi->fm_buf->used_blocks 0-32,2147483648-4294967295
PARAM_VALUE 0 desc->vol->ubi->fm_buf->version 1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 desc->vol->ubi->fm_pool.size 0-s32max
PARAM_VALUE 0 desc->vol->ubi->fm_protect.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.osq.tail.counter 0-s32max
PARAM_VALUE 0 desc->vol->ubi->fm_wl_pool.size 0-s32max
PARAM_VALUE 0 desc->vol->ubi->volumes_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->work_sem.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->writers 0
PARAM_VALUE 0 *desc->vol->ubi->fm_buf->block_ec 0-4294967295
PARAM_VALUE 0 *desc->vol->ubi->fm_buf->block_loc 0-4294967295
PARAM_VALUE 0 *desc->vol->ubi->fm_pool->pebs s32min-s32max
PARAM_VALUE 0 *desc->vol->ubi->fm_wl_pool->pebs s32min-s32max
PARAM_VALUE 1 mode 2
BUF_SIZE 0 desc s32min-(-2),1-s32max
BUF_SIZE 0 desc s32min-(-2),1-s32max
CAPABLE 0 24
NOCHECK_CALL

drivers/mtd/ubi/cdev.c vol_cdev_ioctl() -> revoke_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->mode s32min-0,2-s32max
PARAM_VALUE 0 desc->vol 4096-ptr_max
PARAM_VALUE 0 desc->vol->exclusive 1
PARAM_VALUE 0 desc->vol->metaonly 0
PARAM_VALUE 0 desc->vol->readers 0
PARAM_VALUE 0 desc->vol->reserved_pebs 1-s32max
PARAM_VALUE 0 desc->vol->ubi 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->blkio_delay_max 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->blkio_delay_min 0-s64max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->lock.owner (-1)
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->lock.owner_cpu 4294967295
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->delays->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->dl.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.prio_list.next->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->pushable_tasks.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->throttle_node.next->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->throttle_node.prev->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->bgt_thread->throttle_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->ltree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->move_mutex.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 desc->vol->ubi->move_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 desc->vol->ubi->volumes_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->wl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->work_sem.dep_map->name 0-255
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->works.prev->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->ubi->works.prev->next->next 4096-ptr_max
PARAM_VALUE 0 desc->vol->usable_leb_size 0-s32max
PARAM_VALUE 0 desc->vol->vol_type s32min-3,5-s32max
PARAM_VALUE 0 desc->vol->writers 0
PARAM_VALUE 1 mode 2
BUF_SIZE 0 desc s32min-(-2),1-s32max
BUF_SIZE 0 desc s32min-(-2),1-s32max
NOCHECK_CALL

drivers/mtd/ubi/cdev.c vol_cdev_write() -> revoke_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->vol 4096-ptr_max
PARAM_VALUE 0 desc->vol->changing_leb 1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 mode 2
BUF_SIZE 0 desc s32min-(-2),1-s32max
BUF_SIZE 0 desc s32min-(-2),1-s32max
NOCHECK_CALL

drivers/mtd/ubi/cdev.c vol_cdev_write() -> revoke_exclusive()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->vol 4096-ptr_max
PARAM_VALUE 0 desc->vol->checked 1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 desc->vol->ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 mode 2
BUF_SIZE 0 desc s32min-(-2),1-s32max
BUF_SIZE 0 desc s32min-(-2),1-s32max
NOCHECK_CALL