Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dm 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_bdev 4096-ptr_max
PARAM_VALUE 1 sb->s_bdev->bd_mapping 4096-ptr_max
PARAM_VALUE 1 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_blocksize 0-u32max
PARAM_VALUE 1 sb->s_flags 0,1024-u64max
PARAM_VALUE 1 sb->s_magic 44533
PARAM_VALUE 1 sb->s_root 0
PARAM_VALUE 1 sb->s_time_gran 10000000
PARAM_VALUE 3 nzones 0-u16max
BUF_SIZE 0 dm 0-1572840
BUF_SIZE 0 dm 0-1572840
BUF_SIZE 1 sb (-1),2880
BUF_SIZE 1 sb (-1),2880
BUF_SIZE 1 sb->s_fs_info 1-s32max
CAPPED_DATA 1 sb->s_blocksize 1
CAPPED_DATA 3 nzones 1
DATA_SOURCE 0 dm r _kmalloc_noprof
DATA_SOURCE 1 sb $0
DATA_SOURCE 2 map_addr r signed_asl
STR_LEN 0 dm (-1),8
STR_LEN 1 sb (-1),8
BIT_INFO 1 sb->s_flags 0x400,0xffffffffffffffff
BIT_INFO 3 nzones 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_flags 1024-2147487743[c]
NO_OVERFLOW_SIMPLE 3 nzones
UNITS 3 nzones unit_array_size
ELEM_COUNT 0 ==dm3 8051
HALF_LOCKED2 &fc->uapi_mutex