Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/parport/parport_pc.c parport_pc_fifo_write_block() -> parport_pc_fifo_write_block_pio()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dma (-1)
PARAM_VALUE 0 port->physport 4096-ptr_max
PARAM_VALUE 0 port->physport->cad 4096-ptr_max
PARAM_VALUE 0 port->physport->cad->state->u.pc.ctr 0-255
PARAM_VALUE 0 port->physport->cad->state->u.pc.ecr 0-255
PARAM_VALUE 0 port->physport->cad->timeout 2-s64max
PARAM_VALUE 0 port->physport->ieee1284.irq.first_waiter->up 0-1
PARAM_VALUE 0 port->physport->ieee1284.phase 0
PARAM_VALUE 0 port->physport->private_data 4096-ptr_max
PARAM_VALUE 0 port->physport->private_data->ctr 0-255
PARAM_VALUE 0 port->physport->private_data->ecr s32min-s32max
PARAM_VALUE 2 length 0-9223372036854775807
BUF_SIZE 1 buf (-1)-1024,2048,4096
BUF_SIZE 1 buf (-1)-1024,2048,4096
CAPPED_DATA 2 length 1
CAPPED_DATA 2 length 1
DATA_SOURCE 0 port $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 length $2
FUZZY_MAX 0 port->physport->cad->timeout 2
FUZZY_MAX 2 length 4096
STR_LEN 0 port (-1),2
STR_LEN 0 port (-1),2
NOSPEC 2 length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 port->physport->cad->state->u.pc->ctr 0-u32max
HOST_DATA 0 port->physport->cad->state->u.pc->ecr 0-u32max
USER_DATA 2 length 0-4096[c]
USER_PTR 1 buf