Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_read_ibi_reg() -> flexcop_usb_readwrite_dw()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 1 wRegOffsPCI 0,4,8,12,16,28,256,260,516,520,524,528,768,772,776,784,788,1052,1812,1820
PARAM_VALUE 2 *val 0
PARAM_VALUE 3 read 1
BUF_SIZE 0 fc (-1),2704,2992,4248,6112,6160,6520,6624,8416,10432,16680,23200,50000,60000
BUF_SIZE 0 fc (-1),2704,2992,4248,6112,6160,6520,6624,8416,10432,16680,23200,50000,60000
BUF_SIZE 0 fc->dev (-1),1616
DATA_SOURCE 0 fc $0
DATA_SOURCE 1 wRegOffsPCI $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc_pci->irq_lock
HALF_LOCKED2 0 &fc->demux.lock
HALF_LOCKED2 0 &fc->i2c_mutex

drivers/media/usb/b2c2/flexcop-usb.c flexcop_usb_write_ibi_reg() -> flexcop_usb_readwrite_dw()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 1 wRegOffsPCI 0,4,12,16,20,28,256,260,264,512,516,520,528,768,772,776,780,784,788,1048,1052,1812,1820
PARAM_VALUE 3 read 0
BUF_SIZE 0 fc (-1),2704,2992,4248,6112,6160,6520,6624,8416,10432,16680,23200,50000,60000
BUF_SIZE 0 fc (-1),2704,2992,4248,6112,6160,6520,6624,8416,10432,16680,23200,50000,60000
BUF_SIZE 0 fc->dev (-1),1616
CAPPED_DATA 1 wRegOffsPCI 1
DATA_SOURCE 0 fc $0
DATA_SOURCE 1 wRegOffsPCI $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &fc->demux.lock
HALF_LOCKED2 0 &fc->i2c_mutex