Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/lp.c lp_console_write() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
PARAM_VALUE 0 dev->port->physport 4096-ptr_max
PARAM_VALUE 1 inactivity 0
CAPPED_DATA 0 dev 1
PARAM_COMPARE 0 dev >= $0->port->physport->cad
PARAM_COMPARE 0 dev >= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->state->u.pc s64min-s64max
HOST_DATA 0 dev->state->u.pc->ctr 0-u32max
HOST_DATA 0 dev->state->u.pc->ecr 0-u32max
HALF_LOCKED2 flags

drivers/char/lp.c lp_read() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
NOCHECK_CALL

drivers/char/lp.c lp_write() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
NOCHECK_CALL

drivers/char/ppdev.c pp_do_ioctl() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
PARAM_VALUE 0 dev->port->ops 4096-ptr_max
PARAM_VALUE 0 dev->port->ops->enable_irq 4096-ptr_max
PARAM_VALUE 0 dev->port->physport 4096-ptr_max
PARAM_VALUE 0 dev->port->private_data->asynclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->port->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->state->u.pc.ctr 0-255
PARAM_VALUE 0 dev->state->u.pc.ecr 0-255
PARAM_VALUE 0 dev->waiting 0
PARAM_VALUE 1 inactivity 0
PARAM_COMPARE 0 dev >= $0->port->physport->cad
PARAM_COMPARE 0 dev >= $0->port->physport->cad
HOST_DATA 0 dev->state->u.pc s64min-s64max
HOST_DATA 0 dev->state->u.pc->ctr 0-u32max
HOST_DATA 0 dev->state->u.pc->ecr 0-u32max
LOCK2 global &pp_do_mutex

drivers/char/ppdev.c pp_do_ioctl() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
PARAM_VALUE 0 dev->port->ops 4096-ptr_max
PARAM_VALUE 0 dev->port->ops->enable_irq 4096-ptr_max
PARAM_VALUE 0 dev->port->physport 4096-ptr_max
PARAM_VALUE 0 dev->port->private_data->asynclock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->port->private_data->ref_count.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->state->u.pc.ctr 0-255
PARAM_VALUE 0 dev->state->u.pc.ecr 0-255
PARAM_VALUE 0 dev->timeout 0
PARAM_VALUE 0 dev->waiting 0
DATA_SOURCE 1 inactivity r parport_set_timeout
PARAM_COMPARE 0 dev >= $0->port->physport->cad
PARAM_COMPARE 0 dev >= $0->port->physport->cad
NOCHECK_CALL
HOST_DATA 0 dev->state->u.pc s64min-s64max
HOST_DATA 0 dev->state->u.pc->ctr 0-u32max
HOST_DATA 0 dev->state->u.pc->ecr 0-u32max
LOCK2 global &pp_do_mutex

drivers/char/ppdev.c pp_read() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
NOCHECK_CALL

drivers/char/ppdev.c pp_read() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
NOCHECK_CALL

drivers/char/ppdev.c pp_write() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
NOCHECK_CALL

drivers/char/ppdev.c pp_write() -> parport_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->port 4096-ptr_max
NOCHECK_CALL
HOST_DATA 0 dev->port->private_data->shadowDCR 0-255[c]
USER_DATA 0 dev->port->private_data->shadowDCR 0-255[c]