Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/devio.c proc_alloc_streams() -> parse_usbdevfs_streams()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->dev->state 1-u32max
PARAM_VALUE 2 num_streams_ret 854310900141371392
PARAM_VALUE 3 num_eps_ret 2229346834950119424
PARAM_VALUE 4 eps_ret 3643456501470920704
PARAM_VALUE 5 intf_ret 3335247147380105216
BUF_SIZE 0 ps s32min-(-2),1-s32max
BUF_SIZE 0 ps s32min-(-2),1-s32max
DATA_SOURCE 0 ps $0
DATA_SOURCE 1 streams $1
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c proc_free_streams() -> parse_usbdevfs_streams()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->dev->state 1-u32max
PARAM_VALUE 2 num_streams_ret 0
PARAM_VALUE 3 num_eps_ret 818203056576196608
PARAM_VALUE 4 eps_ret 6726792782507257856
PARAM_VALUE 5 intf_ret 5189589306686566400
BUF_SIZE 0 ps s32min-(-2),1-s32max
BUF_SIZE 0 ps s32min-(-2),1-s32max
DATA_SOURCE 0 ps $0
DATA_SOURCE 1 streams $1
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex