Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c passdown_double_checking_shared_status() -> issue_discard()

Type Parameter Key Value
PARAM_VALUE 0 op 999725707231518720
PARAM_VALUE 0 op->bio 0,4096-ptr_max
PARAM_VALUE 0 op->parent_bio 4096-ptr_max
PARAM_VALUE 0 op->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 0 op->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 op->plug.nr_ios 1-32
PARAM_VALUE 0 op->tc 4096-ptr_max
PARAM_COMPARE 1 data_b < $2
PARAM_COMPARE 1 data_b < $2
PARAM_COMPARE 1 data_b <= $2
PARAM_COMPARE 2 data_e > $1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin.c process_prepared_discard_passdown_pt1() -> issue_discard()

Type Parameter Key Value
PARAM_VALUE 0 op 2425368504874377216
PARAM_VALUE 0 op->bio 0
PARAM_VALUE 0 op->parent_bio 4096-ptr_max
PARAM_VALUE 0 op->plug.cb_list.next 4096-ptr_max
PARAM_VALUE 0 op->plug.cb_list.prev 4096-ptr_max
PARAM_VALUE 0 op->plug.nr_ios 1-32
PARAM_VALUE 0 op->tc 4096-ptr_max
PARAM_COMPARE 1 data_b <= $2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock