loop_assign_backing_file identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/loop.c, line 516 (as a function)

Referenced in 1 files:

drivers/block/loop.c
- line 604
- line 1081

Smatch caller information:

drivers/block/loop.c loop_change_fd() -> loop_assign_backing_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	lo	4096-ptr_max
PARAM_VALUE	0	lo->lo_backing_file	4096-ptr_max
PARAM_VALUE	0	lo->lo_backing_file->f_mapping	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	lo->lo_disk->part0->bd_mapping	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0->bd_mapping->host->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_flags	s32min-(-1),1-s32max
PARAM_VALUE	0	lo->lo_mutex.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	lo->lo_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	lo->lo_queue	4096-ptr_max
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	lo->lo_queue->mq_freeze_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	lo->lo_queue->mq_freeze_owner	1-u64max
PARAM_VALUE	0	lo->lo_queue->q_usage_counter.data	0,4096-ptr_max
PARAM_VALUE	0	lo->lo_queue->q_usage_counter.data->rcu.func	1-u64max
PARAM_VALUE	0	lo->lo_queue->q_usage_counter.percpu_count_ptr	1-u64max
PARAM_VALUE	0	lo->lo_state	1
PARAM_VALUE	1	file	4096-ptr_max
PARAM_VALUE	1	file->f_mapping	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host	0,4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_io_list.next	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_io_list.next->prev	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_io_list.prev	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_io_list.prev->next	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	file->f_mapping->host->i_wb->dwork->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_wb->dwork.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	file->f_op	4096-ptr_max
PARAM_VALUE	1	file->f_op->read_iter	1-u64max
BUF_SIZE	0	lo	s32min-(-2),1-s32max
BUF_SIZE	0	lo	s32min-(-2),1-s32max
CAPPED_DATA	1	file	1
DATA_SOURCE	0	lo	$0
DATA_SOURCE	1	file	r fget
BIT_INFO	0	lo->lo_flags	0x1,0xffffffff
NOCHECK_CALL
UNITS	0	lo	unit_byte
LOCK2	0	&lo->lo_mutex
TYPE_LOCK		(struct loop_device)->lo_mutex

drivers/block/loop.c loop_configure() -> loop_assign_backing_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	lo	4096-ptr_max
PARAM_VALUE	0	lo->lo_device	4096-ptr_max
PARAM_VALUE	0	lo->lo_device->bd_disk	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	lo->lo_disk->part0->bd_holder_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	lo->lo_disk->part0->bd_mapping	4096-ptr_max
PARAM_VALUE	0	lo->lo_disk->part0->bd_mapping->host->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_flags	0-31
PARAM_VALUE	0	lo->lo_mutex.dep_map->name	0-255
PARAM_VALUE	0	lo->lo_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	lo->lo_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	lo->lo_offset	0-s64max
PARAM_VALUE	0	lo->lo_sizelimit	0-s64max
PARAM_VALUE	0	lo->lo_state	0
PARAM_VALUE	0	lo->workqueue	1-u64max
PARAM_VALUE	0	*lo->lo_file_name	0-255
PARAM_VALUE	1	file	4096-ptr_max
PARAM_VALUE	1	file->f_mapping->host	0,4096-ptr_max
PARAM_VALUE	1	file->f_op->read_iter	1-u64max
BUF_SIZE	0	lo	s32min-(-2),1-s32max
BUF_SIZE	0	lo	s32min-(-2),1-s32max
BUF_SIZE	0	lo->workqueue	(-1),512,528-8720
CAPPED_DATA	1	file	1
DATA_SOURCE	0	lo	$0
DATA_SOURCE	1	file	r fget
BIT_INFO	0	lo->lo_flags	0x0,0x1d
BIT_INFO	1	file->f_mode	0x0,0xffffffff
TERMINATED	0	lo->lo_file_name	1
NOCHECK_CALL
USER_DATA	0	lo->lo_flags	0-31[c]
USER_DATA	0	lo->lo_offset	0-s64max
USER_DATA	0	lo->lo_sizelimit	0-s64max
USER_DATA	0	*lo->lo_file_name	0-255
UNITS	0	lo	unit_byte
LOCK2	0	&lo->lo_mutex
TYPE_LOCK		(struct loop_device)->lo_mutex