Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ntfs/inode.c ntfs_read_inode_mount() -> ntfs_attr_list_entry_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 ale 1-ptr_max
PARAM_VALUE 0 ale->type 0-31,33-u32max
PARAM_VALUE 1 al_end 4096-ptr_max
BUF_SIZE 0 ale 0-u32max
BUF_SIZE 0 ale 0-u32max
CAPPED_DATA 0 ale 1
PARAM_COMPARE 0 ale < $1
PARAM_COMPARE 1 al_end > $0
PARAM_COMPARE 1 al_end > $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ale unit_byte
UNITS 1 al_end unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/ntfs/attrib.c ntfs_attr_list_is_valid() -> ntfs_attr_list_entry_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 ale 0-18446744073709547519
PARAM_VALUE 1 al_end 4096-ptr_max
BUF_SIZE 0 ale (-1),1-s32max
BUF_SIZE 0 ale (-1),1-s32max
PARAM_COMPARE 0 ale < $1
PARAM_COMPARE 1 al_end > $0
PARAM_COMPARE 1 al_end > $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ale unit_byte
UNITS 1 al_end unit_byte
HALF_LOCKED2 &ndir->mrec_lock
HALF_LOCKED2 &ni->mrec_lock

fs/ntfs/attrib.c ntfs_external_attr_find() -> ntfs_attr_list_entry_is_valid()

Type Parameter Key Value
PARAM_VALUE 0 ale 0-ptr_max
PARAM_VALUE 1 al_end 4096-ptr_max
PARAM_COMPARE 0 ale <= $1
PARAM_COMPARE 1 al_end >= $0
PARAM_COMPARE 1 al_end >= $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ale unit_byte
UNITS 1 al_end unit_byte
HALF_LOCKED2 &base_ni->mrec_lock
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 &mft_ni->mrec_lock
HALF_LOCKED2 &mftbmp_ni->runlist.lock
HALF_LOCKED2 &ndir->mrec_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &ni->runlist.lock
HALF_LOCKED2 &vi->i_rwsem
HALF_LOCKED2 &vol->mftbmp_lock
HALF_LOCKED2 &vol_ni->mrec_lock