Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-asus.c asus_probe() -> asus_worker_stop()

Type Parameter Key Value
PARAM_VALUE 0 worker 4096-ptr_max
PARAM_VALUE 0 worker->hdev 4096-ptr_max
PARAM_VALUE 0 worker->hdev->bpf_rdesc 1-u64max
PARAM_VALUE 0 worker->hdev->collection 4096-ptr_max
PARAM_VALUE 0 worker->hdev->collection_size 16
PARAM_VALUE 0 worker->hdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 worker->hdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 worker->hdev->devres_group_id 4096-ptr_max
PARAM_VALUE 0 worker->hdev->driver 4096-ptr_max
PARAM_VALUE 0 worker->hdev->rdesc 1-u64max
PARAM_VALUE 0 worker->hdev->status 0,2-u64max
PARAM_VALUE 0 worker->removed 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock

drivers/hid/hid-asus.c asus_probe() -> asus_worker_stop()

Type Parameter Key Value
PARAM_VALUE 0 worker 4096-ptr_max
PARAM_VALUE 0 worker->hdev 4096-ptr_max
PARAM_VALUE 0 worker->hdev->bpf_rdesc 1-u64max
PARAM_VALUE 0 worker->hdev->collection 4096-ptr_max
PARAM_VALUE 0 worker->hdev->collection_size 16
PARAM_VALUE 0 worker->hdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 worker->hdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 worker->hdev->devres_group_id 4096-ptr_max
PARAM_VALUE 0 worker->hdev->driver 4096-ptr_max
PARAM_VALUE 0 worker->hdev->rdesc 1-u64max
PARAM_VALUE 0 worker->hdev->status 0,2-u64max
PARAM_VALUE 0 worker->removed 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock

drivers/hid/hid-asus.c asus_remove() -> asus_worker_stop()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct hid_device)->driver_input_lock