Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/scrub/inode.c xchk_inode_flags2() -> xfs_dinode_has_bigtime()

Type Parameter Key Value
PARAM_VALUE 0 dip 1577543410309632000
PARAM_VALUE 0 dip->di_changecount 0-9223372036854775807
PARAM_VALUE 0 dip->di_format 0-5
PARAM_VALUE 0 dip->di_magic 18766
PARAM_VALUE 0 dip->di_version 3
DATA_SOURCE 0 dip $1

fs/xfs/libxfs/xfs_inode_buf.c xfs_dinode_verify() -> xfs_dinode_has_bigtime()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 dip->di_magic 18766
PARAM_VALUE 0 dip->di_version 3-255
PARAM_VALUE 0 *dip->di_pad2 0-255
PARAM_VALUE 0 *dip->di_v2_pad 0-255
BUF_SIZE 0 dip (-1)-u16max
BUF_SIZE 0 dip (-1)-u16max
CAPPED_DATA 0 dip->di_ino 1
DATA_SOURCE 0 dip $2
FUZZY_MAX 0 dip->di_version 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_inode_buf.c xfs_inode_from_disk_ts() -> xfs_dinode_has_bigtime()

Type Parameter Key Value
PARAM_VALUE 0 dip 4096-ptr_max
PARAM_VALUE 0 *dip->di_pad2 0-255
PARAM_VALUE 0 *dip->di_v2_pad 0-255
DATA_SOURCE 0 dip $0
RX_PATH
TASK_NOT_RUNNING