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

Smatch assignments to (struct atm_vcc)->push:

net/atm/proc.c pvc_seq_show() -> (struct atm_vcc)->push [min-max]

net/atm/proc.c vcc_seq_show() -> (struct atm_vcc)->push [min-max]

net/atm/pvc.c ATM_SD() -> (struct atm_vcc)->push [min-max]

net/atm/pvc.c pvc_bind() -> (struct atm_vcc)->push [min-max]

net/atm/pvc.c pvc_getname() -> (struct atm_vcc)->push [min-max]

net/atm/br2684.c ATM_SD() -> (struct atm_vcc)->push [min-max]

net/atm/br2684.c br2684_ioctl() -> (struct atm_vcc)->push [min-max]

net/atm/br2684.c br2684_regvcc() -> (struct atm_vcc)->push [6248336884622872576]

net/atm/ioctl.c ATM_SD() -> (struct atm_vcc)->push [min-max]

net/atm/ioctl.c do_vcc_ioctl() -> (struct atm_vcc)->push [min-max]

drivers/atm/solos-pci.c find_vcc() -> (struct atm_vcc)->push [min-max]

net/atm/pppoatm.c ATM_SD() -> (struct atm_vcc)->push [min-max]

net/atm/pppoatm.c pppoatm_assign_vcc() -> (struct atm_vcc)->push [1437157382896156672]

net/atm/pppoatm.c pppoatm_ioctl() -> (struct atm_vcc)->push [min-max]

net/atm/pppoatm.c pppoatm_unassign_vcc() -> (struct atm_vcc)->push [0-u64max]

net/atm/raw.c atm_init_aal0() -> (struct atm_vcc)->push [1712559020870946816]

net/atm/raw.c atm_init_aal5() -> (struct atm_vcc)->push [1712559020870946816]

net/atm/common.c ATM_SD() -> (struct atm_vcc)->push [min-max]

net/atm/common.c __vcc_insert_socket() -> (struct atm_vcc)->push [min-max]

net/atm/common.c atm_dev_release_vccs() -> (struct atm_vcc)->push [min-max]

net/atm/common.c check_ci() -> (struct atm_vcc)->push [min-max]

net/atm/common.c vcc_create() -> (struct atm_vcc)->push [0-u64max]

net/atm/common.c vcc_destroy_socket() -> (struct atm_vcc)->push [min-max]

net/atm/common.c vcc_release_cb() -> (struct atm_vcc)->push [min-max]

net/atm/common.c vcc_writable() -> (struct atm_vcc)->push [min-max]