Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-playstation.c ps_remove() -> (struct ps_device)->remove()

Type Parameter Key Value
PARAM_VALUE 0 ps_dev 4096-ptr_max
PARAM_VALUE 0 ps_dev->player_id u32max
PARAM_VALUE 0 ps_dev->remove 1-u64max
BUF_SIZE 0 ps_dev s32min-(-2),1-s32max
BUF_SIZE 0 ps_dev s32min-(-2),1-s32max
CONTAINER 0 -240+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct hid_device)->driver_input_lock