Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/gadget/legacy/inode.c dev_config() -> is_valid_config()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | config | 4096-ptr_max |
| PARAM_VALUE | 1 | total | 0-u16max |
| BUF_SIZE | 0 | config | 27-16380 |
| BUF_SIZE | 0 | config | 27-16380 |
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 0 | config->bConfigurationValue | 0-255[u] |
| USER_DATA | 0 | config->bDescriptorType | 0-255[u] |
| USER_DATA | 0 | config->bLength | 0-255[u] |
| USER_DATA | 0 | config->bMaxPower | 0-255[u] |
| USER_DATA | 0 | config->bNumInterfaces | 0-255[u] |
| USER_DATA | 0 | config->bmAttributes | 0-255[u] |
| USER_DATA | 0 | config->iConfiguration | 0-255[u] |
| USER_DATA | 0 | config->wTotalLength | 0-u16max[u] |
| USER_DATA | 1 | total | 0-u16max[u] |
| UNITS | 1 | total | unit_byte |
| USER_PTR | 0 | config | |
| LOCK2 | &dev->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct dev_data)->lock |
drivers/usb/gadget/legacy/inode.c dev_config() -> is_valid_config()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | config | 4096-ptr_max |
| PARAM_VALUE | 1 | total | 0-u16max |
| PREEMPT_ADD | <- disables preempt | ||
| UNITS | 1 | total | unit_byte |
| LOCK2 | &dev->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct dev_data)->lock |