Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ff 4096-ptr_max
PARAM_VALUE 0 dev->ff->max_effects 1-s32max
PARAM_VALUE 1 effect_id 0-2147483646
PARAM_VALUE 2 value 0
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
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dev->event_lock
HALF_LOCKED2 &evdev->mutex
TYPE_LOCK (struct input_dev)->event_lock

drivers/input/ff-core.c input_ff_event() -> (struct ff_device)->playback()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->ff 4096-ptr_max
PARAM_VALUE 0 dev->ff->max_effects 1-s32max
PARAM_VALUE 0 dev->poller->poll_interval 0-4294967295
PARAM_VALUE 0 dev->poller->poll_interval_max 0-4294967295
PARAM_VALUE 0 *dev->rep s32min-s32max
PARAM_VALUE 1 effect_id 0-95,98-2147483646
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev (-1),2480
BUF_SIZE 0 dev->phys (-1),9
CAPPED_DATA 1 effect_id 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 effect_id $2
DATA_SOURCE 2 value $3
STR_LEN 0 dev->phys (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 effect_id 1-95,98-u16max[c]
USER_DATA 2 value s32min-s32max
NO_OVERFLOW_SIMPLE 0 dev->max_vals
HALF_LOCKED2 irq
HALF_LOCKED2 0 &dev->event_lock