Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/hpfs/dnode.c hpfs_add_to_dnode() -> get_pos()

Type Parameter Key Value
PARAM_VALUE 0 wr 4096-ptr_max
PARAM_VALUE 0 wr->dirent->archive 0-1
PARAM_VALUE 0 wr->dirent->creation_date 0-4294967295
PARAM_VALUE 0 wr->dirent->directory 0-1
PARAM_VALUE 0 wr->dirent->down 0-1
PARAM_VALUE 0 wr->dirent->ea_size 0-4294967295
PARAM_VALUE 0 wr->dirent->file_size 0-4294967295
PARAM_VALUE 0 wr->dirent->first 0-1
PARAM_VALUE 0 wr->dirent->flag11 0-1
PARAM_VALUE 0 wr->dirent->flag15 0-1
PARAM_VALUE 0 wr->dirent->fnode 0-4294967295
PARAM_VALUE 0 wr->dirent->has_acl 0-1
PARAM_VALUE 0 wr->dirent->has_ea 0-1
PARAM_VALUE 0 wr->dirent->has_explicit_acl 0-1
PARAM_VALUE 0 wr->dirent->has_needea 0-1
PARAM_VALUE 0 wr->dirent->has_xtd_perm 0-1
PARAM_VALUE 0 wr->dirent->hidden 0-1
PARAM_VALUE 0 wr->dirent->ix 0-255
PARAM_VALUE 0 wr->dirent->last 0-1
PARAM_VALUE 0 wr->dirent->length 0-u16max
PARAM_VALUE 0 wr->dirent->namelen 0-255
PARAM_VALUE 0 wr->dirent->no_of_acls 0-255
PARAM_VALUE 0 wr->dirent->not_8x3 0-1
PARAM_VALUE 0 wr->dirent->read_date 0-4294967295
PARAM_VALUE 0 wr->dirent->read_only 0-1
PARAM_VALUE 0 wr->dirent->system 0-1
PARAM_VALUE 0 wr->dirent->write_date 0-4294967295
PARAM_VALUE 1 fde 0,4096-ptr_max
PARAM_VALUE 1 fde->last 0
PARAM_VALUE 1 fde->name 0
BUF_SIZE 0 wr (-1),2048
BUF_SIZE 0 wr (-1),2048
BUF_SIZE 1 fde (-1),2028
BUF_SIZE 1 fde (-1),2028
DATA_SOURCE 1 fde r hpfs_add_de
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> get_pos()

Type Parameter Key Value
PARAM_VALUE 0 wr 4096-ptr_max
PARAM_VALUE 0 wr->dirent->archive 0-1
PARAM_VALUE 0 wr->dirent->creation_date 0-4294967295
PARAM_VALUE 0 wr->dirent->directory 0-1
PARAM_VALUE 0 wr->dirent->down 0-1
PARAM_VALUE 0 wr->dirent->ea_size 0-4294967295
PARAM_VALUE 0 wr->dirent->file_size 0-4294967295
PARAM_VALUE 0 wr->dirent->first 0-1
PARAM_VALUE 0 wr->dirent->flag11 0-1
PARAM_VALUE 0 wr->dirent->flag15 0-1
PARAM_VALUE 0 wr->dirent->fnode 0-4294967295
PARAM_VALUE 0 wr->dirent->has_acl 0-1
PARAM_VALUE 0 wr->dirent->has_ea 0-1
PARAM_VALUE 0 wr->dirent->has_explicit_acl 0-1
PARAM_VALUE 0 wr->dirent->has_needea 0-1
PARAM_VALUE 0 wr->dirent->has_xtd_perm 0-1
PARAM_VALUE 0 wr->dirent->hidden 0-1
PARAM_VALUE 0 wr->dirent->ix 0-255
PARAM_VALUE 0 wr->dirent->last 0-1
PARAM_VALUE 0 wr->dirent->length 0-u16max
PARAM_VALUE 0 wr->dirent->namelen 0-255
PARAM_VALUE 0 wr->dirent->no_of_acls 0-255
PARAM_VALUE 0 wr->dirent->not_8x3 0-1
PARAM_VALUE 0 wr->dirent->read_date 0-4294967295
PARAM_VALUE 0 wr->dirent->read_only 0-1
PARAM_VALUE 0 wr->dirent->system 0-1
PARAM_VALUE 0 wr->dirent->write_date 0-4294967295
PARAM_VALUE 1 fde 0,4096-ptr_max
PARAM_VALUE 1 fde->last 0
PARAM_VALUE 1 fde->name 0
BUF_SIZE 0 wr 0,2340
BUF_SIZE 0 wr 0,2340
BUF_SIZE 1 fde (-1),2028
BUF_SIZE 1 fde (-1),2028
DATA_SOURCE 1 fde r hpfs_add_de
RX_PATH
TASK_NOT_RUNNING
UNITS 0 wr unit_byte
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_remove_dirent() -> get_pos()

Type Parameter Key Value
PARAM_VALUE 0 wr->dirent 4096-ptr_max
PARAM_VALUE 1 fde 4096-ptr_max
PARAM_VALUE 1 fde->first 0
PARAM_VALUE 1 fde->last 0
BUF_SIZE 0 wr 2048
BUF_SIZE 1 fde (-1),2028
BUF_SIZE 1 fde (-1),2028
CAPPED_DATA 1 fde 1
CAPPED_DATA 1 fde->namelen 1
DATA_SOURCE 1 fde $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 wr unit_byte
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/dnode.c move_to_top() -> get_pos()

Type Parameter Key Value
PARAM_VALUE 0 wr 4096-ptr_max
BUF_SIZE 0 wr (-1),2048
BUF_SIZE 0 wr (-1),2048
BUF_SIZE 1 fde 0
DATA_SOURCE 1 fde r dnode_pre_last_de
BIT_INFO 1 fde 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &i->i_rwsem
HALF_LOCKED2 &target->i_rwsem

lib/decompress_unlzma.c process_bit0() -> get_pos()

Type Parameter Key Value
DATA_SOURCE 0 wr $0

lib/decompress_unlzma.c process_bit1() -> get_pos()

Type Parameter Key Value
PARAM_VALUE 0 wr 4096-ptr_max
DATA_SOURCE 0 wr $0