Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2.c xfs_dir_ino_validate() -> xfs_verify_dir_ino()

Type Parameter Key Value
BUF_SIZE 0 mp (-1),1-s32max
BUF_SIZE 0 mp (-1),1-s32max
DATA_SOURCE 0 mp $0
DATA_SOURCE 1 ino $1
STR_LEN 0 mp (-1),5,8
STR_LEN 0 mp (-1),5,8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/libxfs/xfs_parent.c xfs_parent_valuecheck() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
DATA_SOURCE 0 mp $0
TASK_NOT_RUNNING
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_ialloc.c xfs_dialloc() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_low_space 4096-ptr_max
PARAM_VALUE 1 ino 0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte

fs/xfs/scrub/dir_repair.c xrep_dir_lookup_parent() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
UNITS 0 mp unit_byte

fs/xfs/scrub/dir_repair.c xrep_dir_scan_dirent() -> xfs_verify_dir_ino()

Type Parameter Key Value
CAPPED_DATA 1 ino 1
CAPPED_DATA 1 ino 1
DATA_SOURCE 1 ino $4
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/scrub/dir_repair.c xrep_dir_want_salvage() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_dir_update_hooks.head.head 4096-ptr_max
DATA_SOURCE 1 ino $3
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/scrub/parent.c xchk_parent() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
UNITS 0 mp unit_byte

fs/xfs/scrub/parent.c xchk_parent() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_sb.sb_agcount 1-u32max
CAPPED_DATA 0 mp->m_sb.sb_agcount 1
UNITS 0 mp unit_byte

fs/xfs/scrub/parent.c xchk_parent_pptr_and_dotdot() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
UNITS 0 mp unit_byte

fs/xfs/scrub/findparent.c xrep_findparent_confirm() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 ino 0-18446744073709551614
UNITS 0 mp unit_byte

fs/xfs/scrub/dir.c xchk_dir_actor() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_dir_geo 4096-ptr_max
DATA_SOURCE 1 ino $4
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/scrub/dir.c xchk_dir_rec() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_dir_geo 4096-ptr_max
PARAM_VALUE 0 mp->m_dir_geo->leafblk 1-u32max
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/libxfs/xfs_dir2_data.c __xfs_dir3_data_check() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_dir_geo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte

fs/xfs/scrub/nlinks.c xchk_nlinks_collect_dirent() -> xfs_verify_dir_ino()

Type Parameter Key Value
PARAM_VALUE 0 mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 mp->m_inodegc_wq->work_color s32min-s32max
DATA_SOURCE 1 ino $4
UNITS 0 mp unit_byte
UNITS 1 ino unit_byte