Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/md.c check_sb_changes() -> (struct bitmap_operations)->update_sb()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
PARAM_VALUE 0 data->chunks 0-s64max
BUF_SIZE 0 data 352,520
CONTAINER 0 *(-208-1768+1760) $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
TYPE_LOCK (struct md_cluster_info)->recv_mutex

drivers/md/md.c md_update_sb() -> (struct bitmap_operations)->update_sb()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
BUF_SIZE 0 data 352,520
CONTAINER 0 *(-208-1768+1760) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mddev->cluster_info->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
HALF_LOCKED2 &of->mutex

drivers/md/md-cluster.c cluster_check_sync_size() -> (struct bitmap_operations)->update_sb()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
BUF_SIZE 0 data 520
BUF_SIZE 0 data 520
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 data->mddev->bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 data->mddev->bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 data->mddev->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 data->mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 data->mddev->raid_disks
NO_OVERFLOW_SIMPLE 0 data->mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 data->mddev->sync_set.bvec_pool.min_nr
LOCK2 &cinfo->recv_mutex
HALF_LOCKED2 &mddev->reconfig_mutex
TYPE_LOCK (struct md_cluster_info)->recv_mutex