Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/adfs/map.c adfs_map_lookup() -> scan_map()

Type Parameter Key Value
PARAM_VALUE 0 asb 4096-ptr_max
PARAM_VALUE 0 asb->s_map_size 1-u32max
PARAM_VALUE 2 frag_id 0-16777215
BUF_SIZE 0 asb 1-s32max
BUF_SIZE 0 asb 1-s32max
CAPPED_DATA 1 zone 1
DATA_SOURCE 2 frag_id $1
DATA_SOURCE 3 mapoff r signed_asl
PARAM_COMPARE 0 asb->s_map_size > $1
PARAM_COMPARE 1 zone < $0->s_map_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 mapoff 0-s32max[c]
UNITS 0 asb unit_byte
LOCK2 global &adfs_map_lock
HALF_LOCKED2 global &adfs_dir_rwsem