Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/zonefs/file.c zonefs_file_buffered_write() -> zonefs_inode_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/zonefs/file.c zonefs_file_mmap_prepare() -> zonefs_inode_is_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/zonefs/file.c zonefs_file_write_dio_end_io() -> zonefs_inode_is_seq()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/zonefs/file.c zonefs_filemap_page_mkwrite() -> zonefs_inode_is_seq()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
BIT_INFO 0 inode->i_flags 0x0,0xfffffff7
RX_PATH
TASK_NOT_RUNNING

fs/zonefs/file.c zonefs_swap_activate() -> zonefs_inode_is_seq()

Type Parameter Key Value
CAPABLE 0 21
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem