Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/mousedev.c mousedev_cleanup() -> mousedev_mark_dead()

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