Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/misc/uinput.c uinput_request_submit() -> uinput_request_send()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->requests_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udev->requests_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 udev->requests_waitq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 *udev->requests 4676854553090908160,4896052553544151040
PARAM_VALUE 1 request 4676854553090908160,4896052553544151040
PARAM_VALUE 1 request->code 1-2
PARAM_VALUE 1 request->done.done 0
PARAM_VALUE 1 request->done.wait.lock.magic 3735899821
PARAM_VALUE 1 request->done.wait.lock.owner (-1)
PARAM_VALUE 1 request->done.wait.lock.owner_cpu u32max
PARAM_VALUE 1 request->done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 request->done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 request->done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 request->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 request->done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 request->id 0-15
BUF_SIZE 0 udev s32min-(-2),1-s32max
BUF_SIZE 0 udev s32min-(-2),1-s32max
DATA_SOURCE 0 udev $0
DATA_SOURCE 1 request $1
HARD_MAX 1 request->code 2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 udev unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &evdev->mutex