Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/ff-core.c erase_effect() -> (struct ff_device)->erase()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ff 4096-ptr_max
PARAM_VALUE 0 dev->ff->effect_owners 4096-ptr_max
PARAM_VALUE 0 dev->ff->erase 1-u64max
PARAM_VALUE 0 dev->ff->max_effects 1-s32max
PARAM_VALUE 1 effect_id 0-2147483646
CAPPED_DATA 1 effect_id 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 effect_id $1
CONSTRAINT 1 effect_id <4
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &evdev->mutex