vfio_release_device_set identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/vfio/vfio_main.c, line 126 (as a function)

Referenced in 1 files:

drivers/vfio/vfio_main.c
- line 201
- line 319

Smatch caller information:

drivers/vfio/vfio_main.c vfio_device_release() -> vfio_release_device_set()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vfio/vfio_main.c vfio_init_device() -> vfio_release_device_set()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->comp.done	0
PARAM_VALUE	0	device->comp.wait.lock.magic	3735899821
PARAM_VALUE	0	device->comp.wait.lock.owner	(-1)
PARAM_VALUE	0	device->comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	device->comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	device->comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	device->comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->index	0-s32max
PARAM_VALUE	0	device->inode	4096-u64max
PARAM_VALUE	0	device->inode->i_flags	0,512-u32max
PARAM_VALUE	0	device->inode->i_ino	1-u32max
PARAM_VALUE	0	device->inode->i_io_list.next->prev	4096-ptr_max
PARAM_VALUE	0	device->inode->i_io_list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->inode->i_mapping	4096-ptr_max
PARAM_VALUE	0	device->inode->i_mapping->a_ops	9190924229941444608
PARAM_VALUE	0	device->inode->i_mapping->a_ops->dirty_folio	6238236541637095424
PARAM_VALUE	0	device->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	device->inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	device->inode->i_sb	4096-ptr_max
PARAM_VALUE	0	device->inode->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE	0	device->inode->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	device->inode->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE	0	device->inode->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE	0	device->inode->i_wb->dwork->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->inode->i_wb->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->log_ops->log_read_and_clear	4076372471207591936,5376290172375384064,6599897230765203456
PARAM_VALUE	0	device->log_ops->log_start	5637145720916013056,5768539878088626176,8750682828625928192
PARAM_VALUE	0	device->log_ops->log_stop	4327827824515072000,4912610858246647808,6971354024050106368
PARAM_VALUE	0	device->mig_ops->migration_get_data_size	228541992523079680,2457738663293169664,3596228097521500160,4700723765366214656,4834199570361171968,5713442723446587392,6577284815790485504
PARAM_VALUE	0	device->mig_ops->migration_get_state	3589474428458135552,4601664653352939520,5428550321168080896,5965274822769696768,7839416318296313856,8648308709484191744,9138874588567314432
PARAM_VALUE	0	device->mig_ops->migration_set_state	102361586475905024,1918252655749906432,2755346966262767616,2970903531310985216,4698944147004489728,6326764774778572800,7373112656827224064
PARAM_VALUE	0	device->ops	4096-ptr_max
BUF_SIZE	0	device	2440,2464,2488,2536,3208,3384,3392,3432,3464,3584,3592,3648,4024,5704,2110616
BUF_SIZE	0	device	2440,2464,2488,2536,3208,3384,3392,3432,3464,3584,3592,3648,4024,5704,2110616
BUF_SIZE	0	device->dev	(-1),1616
BUF_SIZE	0	device->ops	(-1),168
CAPPED_DATA	0	device->inode	1
DATA_SOURCE	0	device	$0
BIT_INFO	0	device->ops	0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->inode->i_mapping->host->i_bytes