Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/mousedev.c mousedev_connect() -> mousedev_destroy()

Type Parameter Key Value
DATA_SOURCE 0 mousedev r mousedev_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/input/mousedev.c mousedev_disconnect() -> mousedev_destroy()

Type Parameter Key Value
PARAM_VALUE 0 mousedev 4096-ptr_max
PARAM_VALUE 0 mousedev->handle.dev->event_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mousedev->handle.dev->grab 0
PARAM_VALUE 0 mousedev->handle.dev->poller->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 mousedev->handle.dev->ready 0
PARAM_VALUE 0 mousedev->mixdev_node.next 4096-ptr_max
PARAM_VALUE 0 mousedev->mixdev_node.next->next 4096-ptr_max
PARAM_VALUE 0 mousedev->mixdev_node.next->prev 4096-ptr_max
PARAM_VALUE 0 mousedev->mixdev_node.prev 4096-ptr_max
PARAM_VALUE 0 mousedev->mixdev_node.prev->next 4096-ptr_max
PARAM_VALUE 0 mousedev->mixdev_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 mousedev->opened_by_mixdev 0
BUF_SIZE 0 mousedev 480,568,872-s32max
BUF_SIZE 0 mousedev 480,568,872-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/input/mousedev.c mousedev_exit() -> mousedev_destroy()

Type Parameter Key Value
NOCHECK_CALL

drivers/input/mousedev.c mousedev_init() -> mousedev_destroy()

Type Parameter Key Value
DATA_SOURCE 0 mousedev r mousedev_create
NOCHECK_CALL