Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/udf/super.c udf_check_anchor_block() -> udf_load_sequence()

Type Parameter Key Value
PARAM_VALUE 0 sb 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_blkbits 9-73
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_bdev_file->private_data 1-u64max
PARAM_VALUE 0 sb->s_blocksize 512-65536
PARAM_VALUE 0 sb->s_blocksize_bits 9-73
PARAM_VALUE 0 sb->s_export_op 2110920194807951360
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_magic 352400198
PARAM_VALUE 0 sb->s_op 7615750712535793664
PARAM_VALUE 0 sb->s_op->shutdown 0,4096-ptr_max
PARAM_VALUE 0 sb->s_root 0
PARAM_VALUE 0 sb->s_time_gran 1000
PARAM_VALUE 1 bh 4096-ptr_max
PARAM_VALUE 1 bh->b_data 4096-ptr_max
PARAM_VALUE 1 bh->b_data->descVersion 2-3
PARAM_VALUE 2 fileset 7403462220935364608
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 360
BUF_SIZE 0 sb->s_op 216
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 bh r udf_read_tagged
DATA_SOURCE 2 fileset $2
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-2147486719[c]
HALF_LOCKED2 &fc->uapi_mutex