Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/joydev.c joydev_cleanup() -> joydev_mark_dead()

Type Parameter Key Value
PARAM_VALUE 0 joydev 4096-ptr_max
PARAM_VALUE 0 joydev->cdev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 joydev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 joydev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 joydev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 joydev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 joydev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 joydev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 joydev->dev.power.qos->flags_req 0
PARAM_VALUE 0 joydev->dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 joydev 480,568,872-s32max
BUF_SIZE 0 joydev 480,568,872-s32max
BUF_SIZE 0 joydev->dev.class (-1),96
BUF_SIZE 0 joydev->dev.parent (-1),1616
BUF_SIZE 0 joydev->handle.name s32min,(-10),(-1),1-s32max
BUF_SIZE 0 joydev->handle.private (-1),6992
DATA_SOURCE 0 joydev $0
STR_LEN 0 joydev->handle.handler->name (-1),7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 joydev->cdev.count
HALF_LOCKED2 _T->lock