Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/adfs/map.c adfs_read_map() -> adfs_checkmap()

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_mapping 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.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_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_blocksize 0-u32max
PARAM_VALUE 0 sb->s_flags 0,1024-u64max
PARAM_VALUE 0 sb->s_magic 44533
PARAM_VALUE 0 sb->s_root 0
PARAM_VALUE 0 sb->s_time_gran 10000000
PARAM_VALUE 1 dm 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 1-s32max
BUF_SIZE 1 dm 0-1572840
BUF_SIZE 1 dm 0-1572840
CAPPED_DATA 0 sb->s_blocksize 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 dm r _kmalloc_noprof
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex