Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nilfs2/direct.c nilfs_direct_assign_p() -> nilfs_direct_set_ptr()

Type Parameter Key Value
PARAM_VALUE 0 direct 4096-ptr_max
PARAM_VALUE 1 key 0-5
DATA_SOURCE 0 direct $0
DATA_SOURCE 1 key $1
DATA_SOURCE 2 ptr $4
FUZZY_MAX 1 key 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &direct->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem

fs/nilfs2/direct.c nilfs_direct_delete() -> nilfs_direct_set_ptr()

Type Parameter Key Value
PARAM_VALUE 0 direct 4096-ptr_max
PARAM_VALUE 1 key 0-5
PARAM_VALUE 2 ptr 0
DATA_SOURCE 0 direct $0
DATA_SOURCE 1 key $1
FUZZY_MAX 1 key 5
NOSPEC 1 key
HARD_MAX 1 key 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 key 0-5
LOCK2 0 &direct->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem

fs/nilfs2/direct.c nilfs_direct_insert() -> nilfs_direct_set_ptr()

Type Parameter Key Value
PARAM_VALUE 0 direct 4096-ptr_max
PARAM_VALUE 1 key 0-5
DATA_SOURCE 0 direct $0
DATA_SOURCE 1 key $1
FUZZY_MAX 1 key 5
HARD_MAX 1 key 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 key 0-5[c]
LOCK2 0 &direct->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem

fs/nilfs2/direct.c nilfs_direct_propagate() -> nilfs_direct_set_ptr()

Type Parameter Key Value
PARAM_VALUE 0 direct 4096-ptr_max
DATA_SOURCE 0 direct $0
DATA_SOURCE 1 key r nilfs_bmap_data_get_key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ptr unit_byte
LOCK2 0 &direct->b_sem
TYPE_LOCK (struct nilfs_bmap)->b_sem