Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/i2c-core-slave.c i2c_slave_unregister() -> (struct i2c_algorithm)->unreg_slave()

Type Parameter Key Value
PARAM_VALUE 0 slave 4096-ptr_max
PARAM_VALUE 0 slave->adapter 4096-ptr_max
PARAM_VALUE 0 slave->adapter->algo 4096-ptr_max
PARAM_VALUE 0 slave->adapter->algo->unreg_slave 1-u64max
PARAM_VALUE 0 slave->adapter->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 slave->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 slave->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 slave->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 0 slave->adapter->lock_ops->lock_bus 4096-ptr_max
DATA_SOURCE 0 slave $0
CONTAINER 0 -48-16-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 slave->irq
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &driver_clients_lock