Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/zonefs/super.c zonefs_account_active() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-1),1-s32max
BUF_SIZE 0 z s32min-(-1),1-s32max
DATA_SOURCE 0 z $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &zi->i_truncate_mutex

fs/zonefs/super.c zonefs_check_zone_condition() -> zonefs_zone_is_cnv()

Type Parameter Key Value
PARAM_VALUE 0 z 4096-ptr_max
PARAM_VALUE 0 z->z_flags 0,16-u32max
BUF_SIZE 0 z s32min-(-1),1-s32max
BUF_SIZE 0 z s32min-(-1),1-s32max
DATA_SOURCE 0 z $1
BIT_INFO 0 z->z_flags 0x10,0xffffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 z unit_array_size
HALF_LOCKED2 &zi->i_truncate_mutex

fs/zonefs/super.c zonefs_check_zone_condition() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-1),1-s32max
BUF_SIZE 0 z s32min-(-1),1-s32max
DATA_SOURCE 0 z $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 z unit_array_size
HALF_LOCKED2 &zi->i_truncate_mutex

fs/zonefs/super.c zonefs_zone_is_seq() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-2),1-s32max
BUF_SIZE 0 z s32min-(-2),1-s32max
DATA_SOURCE 0 z $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 z unit_array_size
LOCK2 &zi->i_truncate_mutex
TYPE_LOCK (struct zonefs_inode_info)->i_truncate_mutex

fs/zonefs/file.c zonefs_inode_is_cnv() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING

fs/zonefs/file.c zonefs_write_checks() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-2),1-s32max
BUF_SIZE 0 z s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 z unit_array_size
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/zonefs/file.c zonefs_zone_is_seq() -> zonefs_zone_is_cnv()

Type Parameter Key Value
BUF_SIZE 0 z s32min-(-2),1-s32max
BUF_SIZE 0 z s32min-(-2),1-s32max
DATA_SOURCE 0 z $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 z unit_array_size
HALF_LOCKED2 &inode->i_rwsem