Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/rndis_host.c generic_rndis_bind() -> rndis_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->delay.lockdep_map->name 0-255
PARAM_VALUE 0 dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->intf->authorized 1
PARAM_VALUE 0 dev->intf->condition 1
PARAM_VALUE 0 dev->intf->dev.driver 4096-ptr_max
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->maxpacket 1-2047
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->rx_urb_size 0-u32max
PARAM_VALUE 0 dev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 buflen 1025
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/rndis_host.c generic_rndis_bind() -> rndis_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data.control 4096-ptr_max
PARAM_VALUE 0 dev->data.control->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 dev->data.control->cur_altsetting->desc.bInterfaceNumber 0-255
PARAM_VALUE 0 dev->deferred.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->delay.lockdep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->early_init 0
PARAM_VALUE 0 dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->intf->authorized 1
PARAM_VALUE 0 dev->intf->condition 1
PARAM_VALUE 0 dev->intf->dev.driver 4096-ptr_max
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->maxpacket 1-2047
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->rx_urb_size 0-u32max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 dev->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buflen 1025
CAPPED_DATA 0 dev->hard_mtu 1
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/rndis_host.c generic_rndis_bind() -> rndis_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data.control 4096-ptr_max
PARAM_VALUE 0 dev->data.control->cur_altsetting 4096-ptr_max
PARAM_VALUE 0 dev->data.control->cur_altsetting->desc.bInterfaceNumber 0-255
PARAM_VALUE 0 dev->deferred.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->delay.lockdep_map->name 0-255
PARAM_VALUE 0 dev->driver_info->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->early_init 0
PARAM_VALUE 0 dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->intf->authorized 1
PARAM_VALUE 0 dev->intf->condition 1
PARAM_VALUE 0 dev->intf->dev.driver 4096-ptr_max
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->maxpacket 1-2047
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->rx_urb_size 0-u32max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 dev->udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buflen 1025
CAPPED_DATA 0 dev->hard_mtu 1
DATA_SOURCE 0 dev $0
MEM_ZERO 0 &dev->deferred
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/rndis_host.c rndis_query() -> rndis_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->data.control->cur_altsetting->desc.bInterfaceNumber 0-255
PARAM_VALUE 0 dev->deferred.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->deferred.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->delay.lockdep_map->name 0-255
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->data 0-2,4,1245443,2039071,10460575,537268737
PARAM_VALUE 0 dev->driver_info->early_init 0
PARAM_VALUE 0 dev->interrupt_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->intf->authorized 1
PARAM_VALUE 0 dev->intf->condition 1
PARAM_VALUE 0 dev->intf->dev.driver 4096-ptr_max
PARAM_VALUE 0 dev->intf->needs_altsetting0 0
PARAM_VALUE 0 dev->intf->needs_binding 0
PARAM_VALUE 0 dev->maxpacket 1-2047
PARAM_VALUE 0 dev->net->dev.parent 4096-ptr_max
PARAM_VALUE 0 dev->phy_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->rx_urb_size 0-u32max
PARAM_VALUE 0 dev->udev 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 buflen 1025
CAPPED_DATA 0 dev->hard_mtu 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/usb/rndis_host.c rndis_unbind() -> rndis_command()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->driver_info->status 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->unbind 0,4096-ptr_max
PARAM_VALUE 0 dev->net 4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buflen 1025
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->driver_name (-1),4-25,28-29,32
BUF_SIZE 0 dev->padding_pkt (-1),1
BUF_SIZE 1 buf 1025
BUF_SIZE 1 buf 1025
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING