Defined in 1 files as a variable:

Defined in 1 files as a union:

Defined in 153 files as a member:

Defined in 45 files as a function:

Referenced in 724 files:

Smatch caller information:

drivers/spi/spi.c __spi_setup() -> (struct spi_controller)->setup()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->bits_per_word 1-255
PARAM_VALUE 0 sb->controller 4096-ptr_max
PARAM_VALUE 0 sb->controller->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 sb->controller->io_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sb->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sb->controller->io_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 sb->controller->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->controller->io_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sb->controller->io_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 sb->controller->io_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sb->controller->setup 1-u64max
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 sb->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 *sb->chip_select 0-255
BUF_SIZE 0 sb (-1),1776
BUF_SIZE 0 sb (-1),1776
BUF_SIZE 0 sb->controller (-1),3-6,8,12,16,24,32,56,64,80,112,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,2360,2864-5728
BUF_SIZE 0 sb->controller_data s32min-(-1),1-s32max
BUF_SIZE 0 sb->dev.init_name (-1),50
BUF_SIZE 0 sb->dev.platform_data (-1),32
CAPPED_DATA 0 sb->controller->max_speed_hz 1
CAPPED_DATA 0 sb->max_speed_hz 1
CAPPED_DATA 0 &sb->controller->io_mutex 1
DATA_SOURCE 0 sb $0
FUZZY_MAX 0 sb->bits_per_word 8
STR_LEN 0 sb (-1),56
STR_LEN 0 sb (-1),56
STR_LEN 0 sb->dev.init_name (-1),49
CONTAINER 0 -2216-1616+0 $(-1)
NOSPEC 0 sb->max_speed_hz
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sb->controller->num_chipselect 1-32[c]
HOST_DATA 0 sb->controller->num_data_lanes 0-u16max[c]
USER_DATA 0 sb->bits_per_word 1-255
USER_DATA 0 sb->max_speed_hz 1-u32max[c]
USER_DATA 0 sb->mode 0-524287[c]
NO_OVERFLOW_SIMPLE 0 sb->controller->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 sb->controller->num_chipselect
LOCK2 0 &sb->controller->io_mutex
HALF_LOCKED2 0 &sb->controller->bus_lock_mutex
TYPE_LOCK (struct spi_controller)->io_mutex

fs/fat/inode.c fat_fill_super() -> fat_fill_super param 2()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_fsfreeze_count.counter s32min-0
PARAM_VALUE 0 sb->s_bdev_file 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->__f_path.mnt 0
PARAM_VALUE 0 sb->s_bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->f_ep 0
PARAM_VALUE 0 sb->s_bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 sb->s_bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 sb->s_bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_blkbits 9-73
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_bdev_file->f_mapping->host->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 sb->s_bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 sb->s_bdev_file->f_owner 0
PARAM_VALUE 0 sb->s_bdev_file->f_pos 0
PARAM_VALUE 0 sb->s_bdev_file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 sb->s_bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev_file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 sb->s_bdev_file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.async_size 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.order 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.size 0
PARAM_VALUE 0 sb->s_bdev_file->f_ra.start 0
PARAM_VALUE 0 sb->s_bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 sb->s_bdev_file->f_sb_err 0
PARAM_VALUE 0 sb->s_bdev_file->private_data 4096-ptr_max
PARAM_VALUE 0 sb->s_bdi 4096-ptr_max
PARAM_VALUE 0 sb->s_blocksize 0,512-65536
PARAM_VALUE 0 sb->s_blocksize_bits 9-73
PARAM_VALUE 0 sb->s_export_op 1200282475609747456,2992774192373559296
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_iflags 0,8-u64max
PARAM_VALUE 0 sb->s_magic 19780
PARAM_VALUE 0 sb->s_op 2426554258020704256
PARAM_VALUE 0 sb->s_op->shutdown 0
PARAM_VALUE 0 sb->s_root 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_hash.next->pprev 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_inode 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_inode->i_fsnotify_marks 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_children.first 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->active.counter s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->cancellations_mtx.magic 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_flags 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_fsdata 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_hash.pprev 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->__i_nlink 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_atime_nsec 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_blkbits 0-255
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_bytes 0-u16max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_ctime_nsec 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_dir_seq 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_flags 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_fsnotify_mask 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_generation 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_linklen s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_mode 0-u16max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_mtime_nsec 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_nlink 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_opflags 0-u16max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_rdev 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time 0-u16max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_wb_frn_history 0-u16max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_wb_frn_winner s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_inode->i_write_hint 0-4294967295
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_lockref.count s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->data->ref.refs.counter s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->head.first 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->lease_gen 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->lease_shared_gen 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->management_timer.is_hard 0-1
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->management_timer.is_lazy 0-1
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->management_timer.is_queued 0-1
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->management_timer.is_soft 0-1
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->ref.refs.counter s32min-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->resv->lock.base.magic 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_fsdata->waiters 0
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_inode 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_sb->s_vfs_rename_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_sib->pprev 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_sib.next->pprev 1-u64max
PARAM_VALUE 0 sb->s_shrink->debugfs_entry->d_sib.pprev 4096-ptr_max
PARAM_VALUE 0 sb->s_time_gran 1
PARAM_VALUE 0 *sb->s_id 0-255
PARAM_VALUE 0 *sb->s_shrink->debugfs_entry->d_parent->d_alias.next->pprev 1-u64max
PARAM_VALUE 0 *sb->s_shrink->debugfs_entry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *sb->s_shrink->debugfs_entry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 5024
BUF_SIZE 0 sb->s_op 224
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_dev 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_export_op 0x88400504407000,0x39a87acdddf9f000
BIT_INFO 0 sb->s_flags 0x800,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 2048-2147488768[c]
HALF_LOCKED2 &fc->uapi_mutex

Smatch assignments to (struct smp_hotplug_thread)->setup:

kernel/rcu/tree.c (null)() -> (struct smp_hotplug_thread)->setup [4262768745292574720]

drivers/hv/vmbus_drv.c (null)() -> (struct smp_hotplug_thread)->setup [5769574250472198144]

kernel/softirq.c (null)() -> (struct smp_hotplug_thread)->setup [0,4529972864233607168]

kernel/cpu.c (null)() -> (struct smp_hotplug_thread)->setup [0]

kernel/irq_work.c (null)() -> (struct smp_hotplug_thread)->setup [6245142883535851520]

net/core/dev.c (null)() -> (struct smp_hotplug_thread)->setup [7000117348683702272]

kernel/stop_machine.c (null)() -> (struct smp_hotplug_thread)->setup [0]

drivers/powercap/idle_inject.c (null)() -> (struct smp_hotplug_thread)->setup [3281447197701939200]