Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/devio.c free_async() -> dec_usb_memory_use_count()

Type Parameter Key Value
PARAM_VALUE 0 usbm 1-u64max
PARAM_VALUE 1 count 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex

drivers/usb/core/devio.c usbdev_mmap() -> dec_usb_memory_use_count()

Type Parameter Key Value
PARAM_VALUE 0 usbm 4096-ptr_max
PARAM_VALUE 0 usbm->dma_handle u64max
PARAM_VALUE 0 usbm->mem 1-u64max
PARAM_VALUE 0 usbm->memlist.next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.next->next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev->next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev->prev 4096-ptr_max
PARAM_VALUE 0 usbm->ps 4096-ptr_max
PARAM_VALUE 0 usbm->ps->dev 4096-ptr_max
PARAM_VALUE 0 usbm->vma_use_count 1
PARAM_VALUE 1 count 4096-ptr_max
PARAM_VALUE 1 *count 1
BUF_SIZE 0 usbm 64
BUF_SIZE 0 usbm->mem s32min-s32max
BUF_SIZE 0 usbm->ps (-1),1216
CAPPED_DATA 0 usbm->mem 1
DATA_SOURCE 0 usbm r _kzalloc_noprof
NOSPEC 0 usbm->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 usbm->vm_start 0-18446744073709547520
HALF_LOCKED2 &ipcp->lock

drivers/usb/core/devio.c usbdev_mmap() -> dec_usb_memory_use_count()

Type Parameter Key Value
PARAM_VALUE 0 usbm 4096-ptr_max
PARAM_VALUE 0 usbm->dma_handle 0-18446744073709551614
PARAM_VALUE 0 usbm->mem 1-u64max
PARAM_VALUE 0 usbm->memlist.next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.next->next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev->next 4096-ptr_max
PARAM_VALUE 0 usbm->memlist.prev->prev 4096-ptr_max
PARAM_VALUE 0 usbm->ps 4096-ptr_max
PARAM_VALUE 0 usbm->ps->dev 4096-ptr_max
PARAM_VALUE 0 usbm->vma_use_count 1
PARAM_VALUE 1 count 4096-ptr_max
PARAM_VALUE 1 *count 1
BUF_SIZE 0 usbm 64
BUF_SIZE 0 usbm->mem s32min-s32max
BUF_SIZE 0 usbm->ps (-1),1216
DATA_SOURCE 0 usbm r _kzalloc_noprof
NOSPEC 0 usbm->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 usbm->vm_start 0-18446744073709547520
HALF_LOCKED2 &ipcp->lock

drivers/usb/core/devio.c usbdev_vm_close() -> dec_usb_memory_use_count()

Type Parameter Key Value
PARAM_VALUE 1 count 4096-ptr_max
BUF_SIZE 0 usbm (-1),1-s32max
BUF_SIZE 0 usbm (-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 usbm unit_byte