Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/quota/quota_tree.c check_dquot_block_header() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 0 sb->s_op->quota_read 4096-ptr_max
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 8070255404089081856
PARAM_VALUE 3 min_val 0
BUF_SIZE 1 val_name 15
STR_LEN 0 sb 14
TERMINATED 1 val_name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dquot->dq_lock

fs/quota/quota_tree.c check_dquot_block_header() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 0 sb->s_op->quota_read 4096-ptr_max
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 553140170971197440
PARAM_VALUE 3 min_val 0
BUF_SIZE 1 val_name 15
STR_LEN 0 sb 14
TERMINATED 1 val_name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dquot->dq_lock

fs/quota/quota_tree.c check_dquot_block_header() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 0 sb->s_op->quota_read 4096-ptr_max
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 1303484234159570944
PARAM_VALUE 2 val 0-u16max
PARAM_VALUE 3 min_val 0
BUF_SIZE 1 val_name 13
STR_LEN 0 sb 12
TERMINATED 1 val_name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dquot->dq_lock

fs/quota/quota_tree.c do_insert_tree() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb->dq_op->mark_dirty 4096-ptr_max
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 1924894318900166656
PARAM_VALUE 3 min_val 0
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 1 val_name 6
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 val_name 5
TERMINATED 1 val_name 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
UNITS 0 sb unit_byte
HALF_LOCKED2 &dquot->dq_lock

fs/quota/quota_tree.c find_next_id() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_op 4096-ptr_max
PARAM_VALUE 0 sb->s_op->quota_read 4096-ptr_max
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 1924894318900166656
PARAM_VALUE 2 val 1-u32max
PARAM_VALUE 3 min_val 0
BUF_SIZE 1 val_name 6
STR_LEN 0 sb 5
TERMINATED 1 val_name 1
PREEMPT_ADD

fs/quota/quota_tree.c find_tree_dqentry() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 1 val_name 1924894318900166656
PARAM_VALUE 2 val 1-u32max
PARAM_VALUE 3 min_val 1
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 0 sb (-1),80,2752,2816
BUF_SIZE 1 val_name 6
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 1 val_name 5
TERMINATED 1 val_name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dquot->dq_lock

fs/quota/quota_tree.c remove_tree() -> do_check_range()

Type Parameter Key Value
PARAM_VALUE 0 sb->dq_op->mark_dirty 226909803865329664,1476694990693498880,6979004255413342208,8292536775685570560,9094924498567675904
PARAM_VALUE 0 sb->s_qcop->set_dqblk 4096-ptr_max
PARAM_VALUE 1 val_name 1924894318900166656
PARAM_VALUE 3 min_val 1
BUF_SIZE 1 val_name 6
STR_LEN 0 sb 5
TERMINATED 1 val_name 1
PREEMPT_ADD
RX_PATH
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
UNITS 0 sb unit_byte
HALF_LOCKED2 &dquot->dq_lock
HALF_LOCKED2 &pool->lock