Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/myrb.c myrb_monitor() -> myrb_update_rbld_progress()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->need_err_info 0
PARAM_VALUE 0 cb->need_rbld 0
PARAM_VALUE 0 cb->rbld_first 1
CAPPED_DATA 0 cb->new_ev_seq 1
PARAM_COMPARE 0 cb->new_ev_seq <= $0->old_ev_seq
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/myrb.c myrb_monitor() -> myrb_update_rbld_progress()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->need_err_info 0
PARAM_VALUE 0 cb->need_ldev_info 0
PARAM_VALUE 0 cb->need_rbld 0
PARAM_VALUE 0 cb->rbld_first 0
CAPPED_DATA 0 cb->new_ev_seq 1
PARAM_COMPARE 0 cb->new_ev_seq <= $0->old_ev_seq
NOCHECK_CALL
HALF_LOCKED2 &pool->lock