Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/osd_client.c have_pool_full() -> __pool_full()

Type Parameter Key Value
PARAM_VALUE 0 pi 4096-ptr_max
UNITS 0 pi unit_byte
LOCK2 &osdc->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c pool_cleared_full() -> __pool_full()

Type Parameter Key Value
PARAM_VALUE 0 pi 4096-ptr_max
CAPPED_DATA 0 pi->id 1
DATA_SOURCE 0 pi r ceph_pg_pool_by_id
LOCK2 &osdc->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c pool_full() -> __pool_full()

Type Parameter Key Value
PARAM_VALUE 0 pi 4096-ptr_max
CAPPED_DATA 0 pi->id 1
DATA_SOURCE 0 pi r ceph_pg_pool_by_id
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c set_pool_was_full() -> __pool_full()

Type Parameter Key Value
PARAM_VALUE 0 pi 4096-ptr_max
UNITS 0 pi unit_byte
LOCK2 &osdc->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c target_should_be_paused() -> __pool_full()

Type Parameter Key Value
PARAM_VALUE 0 pi 4096-ptr_max
CAPPED_DATA 0 pi->id 1
CAPPED_DATA 0 pi->pg_num 1
CAPPED_DATA 0 pi->pgp_num 1
DATA_SOURCE 0 pi $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock