Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/extents.c ext4_es_is_delayed() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len

fs/ext4/extents.c ext4_es_is_hole() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 7270889310181056512
DATA_SOURCE 0 es $0

fs/ext4/extents.c ext4_es_is_unwritten() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 7270889310181056512
DATA_SOURCE 0 es $0

fs/ext4/fast_commit.c ext4_es_is_delayed() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 8090464857695924224
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

fs/ext4/fast_commit.c ext4_es_is_hole() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 8090464857695924224
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

fs/ext4/fast_commit.c ext4_es_is_unwritten() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 8090464857695924224
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

fs/ext4/fast_commit.c ext4_es_is_written() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 8090464857695924224
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &journal->j_barrier
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct journal_s)->j_barrier

fs/ext4/inode.c ext4_es_is_delayed() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len

fs/ext4/inode.c ext4_es_is_hole() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 3167472773979058176,4521629989039095808
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c ext4_es_is_unwritten() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 3167472773979058176,4521629989039095808
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING

fs/ext4/inode.c ext4_es_is_written() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 3167472773979058176,4521629989039095808
DATA_SOURCE 0 es $0
RX_PATH
TASK_NOT_RUNNING

fs/ext4/extents_status.c __es_check_extent_status() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
CAPPED_DATA 0 es->es_lblk 1
DATA_SOURCE 0 es $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len

fs/ext4/extents_status.c ext4_es_cache_extent() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4610723472893911040
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len
HALF_LOCKED2 &inode->i_rwsem

fs/ext4/extents_status.c ext4_es_can_be_merged() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk

fs/ext4/extents_status.c ext4_es_can_be_merged() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $1
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-4294967294[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-u64max[c]

fs/ext4/extents_status.c ext4_es_is_delayed() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
BUF_SIZE 0 es (-1)-s32max
BUF_SIZE 0 es (-1)-s32max
DATA_SOURCE 0 es $0
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-4294967294
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-u64max[c]
UNITS 0 es unit_byte

fs/ext4/extents_status.c ext4_es_is_hole() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk

fs/ext4/extents_status.c ext4_es_is_unwritten() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk

fs/ext4/extents_status.c ext4_es_is_written() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
DATA_SOURCE 0 es $0
NOSPEC 0 es->es_lblk
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 es->es_lblk 0-s32max[c]
USER_DATA 0 es->es_len 1-u32max
USER_DATA 0 es->es_pblk 0-9223372036854775807[c]
NO_OVERFLOW_SIMPLE 0 es->es_lblk

fs/ext4/extents-test.c ext4_es_is_unwritten() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4771578481589747712
DATA_SOURCE 0 es $0

fs/ext4/extents-test.c ext4_es_is_written() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4771578481589747712
DATA_SOURCE 0 es $0

fs/ext4/extents-test.c test_split_convert() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4771578481589747712
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len

fs/ext4/extents-test.c test_split_convert() -> ext4_es_type()

Type Parameter Key Value
PARAM_VALUE 0 es 4771578481589747712
NO_OVERFLOW_SIMPLE 0 es->es_lblk
NO_OVERFLOW_SIMPLE 0 es->es_len