Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/input.c __input_release_device() -> (struct input_handler)->start()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->dev->grab 0
PARAM_VALUE 0 handle->handler 4096-ptr_max
PARAM_VALUE 0 handle->handler->start 1-u64max
PARAM_VALUE 0 handle->open s32min-(-1),1-s32max
CAPPED_DATA 0 &handle->d_node 1
DATA_SOURCE 0 handle $0 [m]
CONTAINER 0 -56-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/input/input.c input_open_device() -> (struct input_handler)->start()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->dev 4096-ptr_max
PARAM_VALUE 0 handle->dev->going_away 0
PARAM_VALUE 0 handle->handler 4096-ptr_max
PARAM_VALUE 0 handle->handler->start 1-u64max
PARAM_VALUE 0 handle->open 1
BUF_SIZE 0 handle (-1),80
BUF_SIZE 0 handle (-1),80
BUF_SIZE 0 handle->name (-1),4,6-8,15,17
BUF_SIZE 0 handle->private (-1),568
DATA_SOURCE 0 handle $0
STR_LEN 0 handle->handler->name (-1),7
STR_LEN 0 handle->name (-1),3,5-7
CONTAINER 0 -56-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 handle->dev->max_vals
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &joydev->mutex
HALF_LOCKED2 &mousedev->mutex

drivers/input/input.c input_uninhibit_device() -> (struct input_handler)->start()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->handler 4096-ptr_max
PARAM_VALUE 0 handle->handler->start 1-u64max
PARAM_VALUE 0 handle->open s32min-(-1),1-s32max
CAPPED_DATA 0 &handle->d_node 1
CONTAINER 0 -56-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex