Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/usb/gadget/legacy/acm_ms.c acm_ms_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 0,4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/nokia.c nokia_bind_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/nokia.c nokia_bind_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/nokia.c nokia_bind_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/nokia.c nokia_bind_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/nokia.c nokia_bind_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/g_ffs.c gfs_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
BUF_SIZE 0 c->descriptors (-1),16
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/serial.c serial_register_ports() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 3860547593020981248
PARAM_VALUE 0 c->MaxPower 0
PARAM_VALUE 0 c->bConfigurationValue 1-255
PARAM_VALUE 0 c->bmAttributes 64,96
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 0-1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 0-1
PARAM_VALUE 0 c->label 0,820491392027119616,1811033015945744384,9001543766363557888
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 0-1
PARAM_VALUE 0 c->superspeed_plus 0-1
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $1
STR_LEN 0 c->cdev (-1)
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/hid.c do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
BUF_SIZE 0 c->descriptors (-1),16
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/multi.c cdc_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/multi.c cdc_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 0,4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/multi.c rndis_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/multi.c rndis_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 0,4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/cdc2.c cdc_do_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->bConfigurationValue 1-3
PARAM_VALUE 0 c->cdev 4096-ptr_max
PARAM_VALUE 0 c->cdev->gadget 4096-ptr_max
PARAM_VALUE 0 c->fullspeed 1
PARAM_VALUE 0 c->functions.next 4096-ptr_max
PARAM_VALUE 0 c->functions.next->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->next 4096-ptr_max
PARAM_VALUE 0 c->functions.prev->prev 4096-ptr_max
PARAM_VALUE 0 c->highspeed 1
PARAM_VALUE 0 c->list.next 4096-ptr_max
PARAM_VALUE 0 c->next_interface_id 0
PARAM_VALUE 0 c->superspeed 1
PARAM_VALUE 0 c->superspeed_plus 1
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->bind 4096-ptr_max
PARAM_VALUE 1 f->config 4096-ptr_max
PARAM_VALUE 1 f->config->cdev->gadget->connected 1
PARAM_VALUE 1 f->config->cdev->gadget->deactivated 1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->ev_next 0-5
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->queue.size s32min-16
PARAM_VALUE 1 f->config->cdev->gadget->dev.driver_data->state 2,6
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.dep_map->name 0-255
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 f->config->cdev->gadget->udc->connect_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->config->cdev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 f->disable 4096-ptr_max
PARAM_VALUE 1 f->fi 4096-ptr_max
PARAM_VALUE 1 f->fi->fd 4096-ptr_max
PARAM_VALUE 1 f->free_func 4096-ptr_max
PARAM_VALUE 1 f->list.next 4096-ptr_max
PARAM_VALUE 1 f->name 4096-ptr_max
PARAM_VALUE 1 f->set_alt 4096-ptr_max
BUF_SIZE 0 c->descriptors (-1),16
BUF_SIZE 1 f 224
CAPPED_DATA 0 c->bConfigurationValue 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f r usb_get_function
MEM_ZERO 0 c->interface
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/composite.c remove_config() -> usb_remove_function()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 1 f 4096-ptr_max
CAPPED_DATA 0 &c->functions 1
DATA_SOURCE 0 c $1
PARAM_COMPARE 0 &c->functions != $0->functions.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL