Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/uio/uio_sercos3.c sercos3_irqcontrol() -> sercos3_enable_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->irq s64min-(-1),1-s64max
PARAM_VALUE 0 info->irqcontrol 1-u64max
PARAM_VALUE 0 info->priv 4096-ptr_max
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->ier0_cache_lock.rlock.dep_map->name 0-255
BUF_SIZE 1 priv 80,96,264,672,792
BUF_SIZE 1 priv 80,96,264,672,792
DATA_SOURCE 0 info $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &idev->info_lock
LOCK2 irq
LOCK2 1 &priv->ier0_cache_lock
TYPE_LOCK (struct sercos3_priv)->ier0_cache_lock
TYPE_LOCK (struct uio_device)->info_lock