Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext4/xattr.c check_xattrs() -> ext4_valid_inum()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 ino 1,3-u32max
BUF_SIZE 0 sb (-1),2816
BUF_SIZE 0 sb (-1),2816
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/ext4/namei.c ext4_get_parent() -> ext4_valid_inum()

Type Parameter Key Value
PARAM_VALUE 1 ino 1-u32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 ino unit_byte
HALF_LOCKED2 &child->d_lockref.lock

fs/ext4/namei.c ext4_lookup() -> ext4_valid_inum()

Type Parameter Key Value
PARAM_VALUE 1 ino 1-u32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 ino unit_byte
HALF_LOCKED2 &dir->i_rwsem