Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/usbip/stub_rx.c stub_rx_pdu() -> valid_request()

Type Parameter Key Value
PARAM_VALUE 0 offset 4096-ptr_max
PARAM_VALUE 1 size 5815721568833740800
PARAM_VALUE 1 size->base.devid 0
PARAM_VALUE 1 size->base.ep 0
PARAM_VALUE 1 size->u.cmd_submit.transfer_flags 0-2,4,64,128,256,512,65536,131072,262144,524288,1048576,2097152,4194304,8388608
MEM_ZERO 1 size
RX_PATH

drivers/xen/xen-pciback/conf_space.c xen_pcibk_config_read() -> valid_request()

Type Parameter Key Value
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 size $2
HALF_LOCKED2 &pool->lock

drivers/xen/xen-pciback/conf_space.c xen_pcibk_config_write() -> valid_request()

Type Parameter Key Value
DATA_SOURCE 0 offset $1
DATA_SOURCE 1 size $2
HALF_LOCKED2 &pool->lock