Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mfd/stmpe.c stmpe_disable() -> __stmpe_disable()

Type Parameter Key Value
PARAM_VALUE 0 stmpe->ci->read_block 4096-ptr_max
PARAM_VALUE 0 stmpe->ci->read_byte 4096-ptr_max
PARAM_VALUE 0 stmpe->lock.dep_map->name 0-255
PARAM_VALUE 0 stmpe->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 stmpe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stmpe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stmpe->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 stmpe->lock.wait_lock.owner (-1)
PARAM_VALUE 0 stmpe->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 stmpe->pdata->autosleep_timeout 0-s32max
PARAM_VALUE 0 stmpe->pdata->blocks 0-6,8-10,12,16-18,20,24,32
PARAM_VALUE 0 stmpe->pdata->irq_trigger 0-15
PARAM_VALUE 0 stmpe->variant->enable 0,4096-ptr_max
PARAM_VALUE 0 stmpe->variant->id_val 0,22,257,264,288,528,2065,49424
PARAM_VALUE 1 blocks 1-2,4,8,12,16,u32max
BUF_SIZE 0 stmpe s32min-s32max
BUF_SIZE 0 stmpe->dev (-1),1616
BUF_SIZE 0 stmpe->pdata (-1),20
BUF_SIZE 0 stmpe->vcc s32min,(-1)-s32max
BUF_SIZE 0 stmpe->vio s32min,(-1)-s32max
CAPPED_DATA 0 &stmpe->lock 1
DATA_SOURCE 0 stmpe $0
DATA_SOURCE 1 blocks $1
HARD_MAX 1 blocks u32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 stmpe->ci->irq
NO_OVERFLOW_SIMPLE 0 stmpe->irq
UNITS 0 stmpe unit_byte
LOCK2 0 &stmpe->lock
HALF_LOCKED2 &_dev->mutex
TYPE_LOCK (struct stmpe)->lock

drivers/mfd/stmpe.c stmpe_remove() -> __stmpe_disable()

Type Parameter Key Value
PARAM_VALUE 0 stmpe 4096-ptr_max
PARAM_VALUE 0 stmpe->domain 0,4096-ptr_max
PARAM_VALUE 0 stmpe->vcc 4096-u64max
PARAM_VALUE 0 stmpe->vcc->always_on 0-1
PARAM_VALUE 0 stmpe->vio 4096-u64max
PARAM_VALUE 0 stmpe->vio->always_on 0-1
PARAM_VALUE 1 blocks 8
BUF_SIZE 0 stmpe s32min-(-2),1-s32max
BUF_SIZE 0 stmpe s32min-(-2),1-s32max
CAPPED_DATA 0 stmpe->domain 1
DATA_SOURCE 0 stmpe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 stmpe unit_byte
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex