Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/vfio_main.c vfio_init_device() -> (struct vfio_device_ops)->init()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->comp.done 0
PARAM_VALUE 0 vdev->comp.wait.lock.magic 3735899821
PARAM_VALUE 0 vdev->comp.wait.lock.owner (-1)
PARAM_VALUE 0 vdev->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 vdev->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 vdev->comp.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 vdev->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 vdev->comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vdev->comp.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vdev->index 0-s32max
PARAM_VALUE 0 vdev->inode 4096-ptr_max
PARAM_VALUE 0 vdev->inode->i_flags 0,512-u32max
PARAM_VALUE 0 vdev->inode->i_ino 1-u32max
PARAM_VALUE 0 vdev->inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops 9190924229941444608
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->bmap 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->direct_IO 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->dirty_folio 6238236541637095424
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->error_remove_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->free_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->invalidate_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->is_dirty_writeback 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->is_partially_uptodate 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->launder_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->migrate_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->read_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->readahead 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->release_folio 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->swap_activate 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->swap_deactivate 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->swap_rw 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->write_begin 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->write_end 0
PARAM_VALUE 0 vdev->inode->i_mapping->a_ops->writepages 0
PARAM_VALUE 0 vdev->inode->i_mode 384
PARAM_VALUE 0 vdev->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 vdev->inode->i_state.__state 112
PARAM_VALUE 0 vdev->ops 4096-ptr_max
BUF_SIZE 0 vdev 2440,2464,2488,2536,3208,3384,3392,3432,3464,3584,3592,3648,4024,5704,2110616
BUF_SIZE 0 vdev 2440,2464,2488,2536,3208,3384,3392,3432,3464,3584,3592,3648,4024,5704,2110616
BUF_SIZE 0 vdev->dev (-1),1616
BUF_SIZE 0 vdev->ops (-1),168
CAPPED_DATA 0 vdev->inode->i_sb->s_time_max 1
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->ops 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING