Defined in 20 files as a member:

Defined in 2 files as a function:

Defined in 50 files as a define:

Referenced in 325 files:

Smatch caller information:

drivers/md/dm-kcopyd.c complete_io() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->kc->throttle 0,4096-ptr_max
PARAM_VALUE 1 e->read_err 1
BUF_SIZE 1 e (-1),104,112,176
BUF_SIZE 1 e (-1),104,112,176
DATA_SOURCE 1 e $2
BIT_INFO 1 e->flags 0x0,0xfffffffd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-kcopyd.c complete_io() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->kc->throttle 0,4096-ptr_max
PARAM_VALUE 1 e->op s32min-(-1),1-s32max
BUF_SIZE 1 e (-1),104,112,176
BUF_SIZE 1 e (-1),104,112,176
DATA_SOURCE 1 e $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-kcopyd.c complete_io() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->kc->throttle 0,4096-ptr_max
PARAM_VALUE 1 e->op 1
BUF_SIZE 1 e (-1),104,112,176
BUF_SIZE 1 e (-1),104,112,176
DATA_SOURCE 1 e $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-kcopyd.c dispatch_job() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->context 4096-ptr_max
PARAM_VALUE 1 e->dests 4096-ptr_max
PARAM_VALUE 1 e->flags 0,2,4,6
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->lock.dep_map->name 0-255
PARAM_VALUE 1 e->lock.first_waiter 0
PARAM_VALUE 1 e->lock.magic 4096-ptr_max
PARAM_VALUE 1 e->lock.osq.tail.counter 0
PARAM_VALUE 1 e->lock.owner.counter 0
PARAM_VALUE 1 e->master_job 4096-ptr_max
PARAM_VALUE 1 e->master_job->context 4096-ptr_max
PARAM_VALUE 1 e->master_job->flags 0,2,4,6
PARAM_VALUE 1 e->master_job->kc 4096-ptr_max
PARAM_VALUE 1 e->master_job->lock.first_waiter 0
PARAM_VALUE 1 e->master_job->lock.magic 4096-ptr_max
PARAM_VALUE 1 e->master_job->lock.owner.counter 0
PARAM_VALUE 1 e->master_job->master_job 4096-ptr_max
PARAM_VALUE 1 e->master_job->op 0-1,9
PARAM_VALUE 1 e->master_job->pages 0,9127887426584317952
PARAM_VALUE 1 e->master_job->read_err 0
PARAM_VALUE 1 e->master_job->source.count 0-u32max
PARAM_VALUE 1 e->master_job->write_err 0
PARAM_VALUE 1 e->op 0-1,9
PARAM_VALUE 1 e->pages 0,9127887426584317952
PARAM_VALUE 1 e->read_err 0
PARAM_VALUE 1 e->source.count 0
PARAM_VALUE 1 e->write_err 0
PARAM_VALUE 1 e->write_offset 0
BUF_SIZE 1 e->context (-1),4,8-s32max
BUF_SIZE 1 e->kc (-1),560
BUF_SIZE 1 e->pages 0,16
CAPPED_DATA 1 e->master_job->num_dests 1
CAPPED_DATA 1 e->num_dests 1
DATA_SOURCE 1 e $0
FUZZY_MAX 1 e->op 9
BIT_INFO 1 e->flags 0x0,0x6
BIT_INFO 1 e->op 0x0,0x9
BIT_INFO 1 e->pages 0x0,0x7eacc540bb501000
HARD_MAX 1 e->op 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c dispatch_job() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->context 4096-ptr_max
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 e->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 e->master_job->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 e->master_job->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 e->pages 9127887426584317952
PARAM_VALUE 1 e->source.count 1-u32max
BUF_SIZE 1 e (-1),4,8-s32max
BUF_SIZE 1 e (-1),4,8-s32max
BUF_SIZE 1 e->context (-1),4,8-s32max
BUF_SIZE 1 e->kc (-1),560
BUF_SIZE 1 e->pages (-1)-0,16
CAPPED_DATA 1 e->source.count 1
DATA_SOURCE 1 e $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c dispatch_job() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->context 4096-ptr_max
PARAM_VALUE 1 e->kc 4096-ptr_max
PARAM_VALUE 1 e->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 e->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 e->master_job->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 e->master_job->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 e->master_job->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 e->pages 0-9127887426584317951,9127887426584317953-u64max
PARAM_VALUE 1 e->source.count 1-u32max
BUF_SIZE 1 e (-1),4,8-s32max
BUF_SIZE 1 e (-1),4,8-s32max
BUF_SIZE 1 e->context (-1),4,8-s32max
BUF_SIZE 1 e->kc (-1),560
BUF_SIZE 1 e->pages (-1)-0,16
CAPPED_DATA 1 e->source.count 1
DATA_SOURCE 1 e $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c dm_kcopyd_do_callback() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->read_err 0
PARAM_VALUE 1 e->write_err 0-1
BUF_SIZE 1 e (-1)-s32max
BUF_SIZE 1 e (-1)-s32max
DATA_SOURCE 1 e $0
STR_LEN 0 mq (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 1 e (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-kcopyd.c process_jobs() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->read_err 1
DATA_SOURCE 1 e r pop
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c run_pages_job() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->dests 4096-ptr_max
PARAM_VALUE 1 e->pages 4096-ptr_max
DATA_SOURCE 1 e $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-kcopyd.c segment_complete() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->lock.dep_map->name 0-255
PARAM_VALUE 1 e->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 e->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 e->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 e->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 e->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 e->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 e->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 e->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 e->lock.wait_lock.dep_map->name 0-255
CAPPED_DATA 1 &e->lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-cache-policy-smq.c __complete_background_work() -> push()

Type Parameter Key Value
PARAM_VALUE 0 mq 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es 4096-ptr_max
PARAM_VALUE 0 mq->cache_alloc.es->end 4097-u64max
PARAM_VALUE 1 e 4096-ptr_max
PARAM_VALUE 1 e->level 63
PARAM_VALUE 1 e->pending_work 0
CAPPED_DATA 1 e 1
DATA_SOURCE 0 mq $0
DATA_SOURCE 1 e r get_entry
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 e->oblock 0-s32max[c]
USER_DATA 1 e->oblock 0-9223372036854775807
LOCK2 flags
LOCK2 0 &mq->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smq_policy)->lock