Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/devio.c proc_releaseinterface() -> releaseintf()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->dev->state 1-u32max
BUF_SIZE 0 ps s32min-(-2),1-s32max
BUF_SIZE 0 ps s32min-(-2),1-s32max
DATA_SOURCE 0 ps $0
USER_DATA 1 ifnum 0-u32max
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/usb/core/devio.c usbdev_release() -> releaseintf()

Type Parameter Key Value
PARAM_VALUE 0 ps 4096-ptr_max
PARAM_VALUE 0 ps->dev 4096-ptr_max
PARAM_VALUE 0 ps->ifclaimed 1-u64max
PARAM_VALUE 0 ps->list.next->prev 4096-ptr_max
PARAM_VALUE 0 ps->list.prev->next 4096-ptr_max
PARAM_VALUE 1 ifnum 0-63
BUF_SIZE 0 ps (-1),26
BUF_SIZE 0 ps (-1),26
CAPPED_DATA 0 ps 1
FUZZY_MAX 1 ifnum 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->dev.mutex
TYPE_LOCK (struct device)->mutex