Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/pata_parport/bpck6.c bpck6_rd_data_byte() -> (struct parport_operations)->epp_read_data()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ops 4096-ptr_max
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 b 4116177888429215744
PARAM_VALUE 1 *b 0
PARAM_VALUE 2 l 1
PARAM_VALUE 3 f 0
BUF_SIZE 0 p s32min-(-1),1-s32max
BUF_SIZE 0 p s32min-(-1),1-s32max
CONTAINER 0 *(-112-2192+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pi_mutex

drivers/ata/pata_parport/bpck6.c bpck6_read_block() -> (struct parport_operations)->epp_read_data()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ops 4096-ptr_max
PARAM_VALUE 0 p->private_data->asynclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->msg_pending 0-1
PARAM_VALUE 0 p->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 p->private_data->serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 p->private_data->shadowDCR 0-255
PARAM_VALUE 0 p->private_data->shadowECR 0,32
PARAM_VALUE 0 p->private_data->syncmsg_compl.done 0-4294967295
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner (-1)
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner_cpu 4294967295
PARAM_VALUE 2 l 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 f 8
BUF_SIZE 1 b (-1),2
CAPPED_DATA 2 l 1
DATA_SOURCE 1 b $1
DATA_SOURCE 2 l $2
CONTAINER 0 *(-112-2192+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->physport->private_data->ctr 0-255[c]
HOST_DATA 2 l 2-4095[c]
HALF_LOCKED2 &ap->host->eh_mutex
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/pata_parport/bpck6.c bpck6_read_block() -> (struct parport_operations)->epp_read_data()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ops 4096-ptr_max
PARAM_VALUE 0 p->private_data->asynclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->msg_pending 0-1
PARAM_VALUE 0 p->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 p->private_data->serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 p->private_data->shadowDCR 0-255
PARAM_VALUE 0 p->private_data->shadowECR 0,32
PARAM_VALUE 0 p->private_data->syncmsg_compl.done 0-4294967295
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner (-1)
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner_cpu 4294967295
PARAM_VALUE 2 l 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 f 4
BUF_SIZE 1 b (-1),2
CAPPED_DATA 2 l 1
DATA_SOURCE 1 b $1
DATA_SOURCE 2 l $2
CONTAINER 0 *(-112-2192+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->physport->private_data->ctr 0-255[c]
HOST_DATA 2 l 2-4095[c]
HALF_LOCKED2 &ap->host->eh_mutex
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/pata_parport/bpck6.c bpck6_read_block() -> (struct parport_operations)->epp_read_data()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ops 4096-ptr_max
PARAM_VALUE 0 p->private_data->asynclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->msg_pending 0-1
PARAM_VALUE 0 p->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 p->private_data->serial->disc_mutex.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 p->private_data->serial->disc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 p->private_data->shadowDCR 0-255
PARAM_VALUE 0 p->private_data->shadowECR 0,32
PARAM_VALUE 0 p->private_data->syncmsg_compl.done 0-4294967295
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner (-1)
PARAM_VALUE 0 p->private_data->syncmsg_compl.wait.lock.owner_cpu 4294967295
PARAM_VALUE 2 l 0-s32max,18446744071562067968-u64max
PARAM_VALUE 3 f 1
BUF_SIZE 1 b (-1),2
CAPPED_DATA 2 l 1
DATA_SOURCE 1 b $1
DATA_SOURCE 2 l $2
CONTAINER 0 *(-112-2192+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->physport->private_data->ctr 0-255[c]
HOST_DATA 2 l 2-4095[c]
HALF_LOCKED2 &ap->host->eh_mutex
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/parport/ieee1284.c parport_read() -> parport_read ptr fn()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->physport->ieee1284.irq.first_waiter->up 0-1
PARAM_VALUE 3 f 0
BUF_SIZE 1 b (-1),1-1024,4096
BUF_SIZE 1 b (-1),1-1024,4096
DATA_SOURCE 0 p $0
DATA_SOURCE 1 b $1
DATA_SOURCE 2 l $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 p->cad->state->u.pc->ctr 0-u32max
HOST_DATA 0 p->cad->state->u.pc->ecr 0-u32max
HOST_DATA 2 l 0-1020,18446744073709547519-u64max[c]
USER_DATA 2 l 0-4096[c]

drivers/char/ppdev.c pp_read() -> pp_read ptr fn()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ops 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
PARAM_VALUE 2 l 1-1024
PARAM_VALUE 3 f 0-3
BUF_SIZE 1 b 1-1024
CAPPED_DATA 2 l 1
DATA_SOURCE 1 b r _kmalloc_noprof
FUZZY_MAX 3 f 0
USER_DATA 2 l 1-1023[c]