Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/irq/manage.c __setup_irq() -> __irq_set_trigger()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->action 0
PARAM_VALUE 0 desc->irq_data.chip 4096-6665201918528172031,6665201918528172033-ptr_max
PARAM_VALUE 0 desc->irq_data.domain 0,4096-ptr_max
PARAM_VALUE 0 desc->irq_data.domain->pm_dev->power.request 0-4
PARAM_VALUE 0 desc->irq_data.domain->pm_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 desc->irq_data.domain->pm_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 desc->lock.dep_map->name 0-255
PARAM_VALUE 0 desc->lock.owner_cpu 0
PARAM_VALUE 0 desc->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 desc->owner 0,4096-ptr_max
PARAM_VALUE 0 desc->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 desc->owner->state 0-1,3-u32max
PARAM_VALUE 0 desc->request_mutex.dep_map->name 0-255
PARAM_VALUE 0 desc->request_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 desc->request_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 desc->request_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 desc->request_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 desc->request_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 desc->request_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 flags 0-15
CAPPED_DATA 0 &desc->request_mutex 1
DATA_SOURCE 0 desc $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 0 &desc->lock
LOCK2 0 &desc->request_mutex
TYPE_LOCK (struct irq_desc)->lock
TYPE_LOCK (struct irq_desc)->request_mutex

kernel/irq/manage.c enable_percpu_irq() -> __irq_set_trigger()

Type Parameter Key Value
PARAM_VALUE 0 desc 0-ptr_max
PARAM_VALUE 1 flags 1-15
DATA_SOURCE 0 desc r class_irqdesc_lock_lock_ptr
DATA_SOURCE 1 flags $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/irq/chip.c __irq_do_set_handler() -> __irq_set_trigger()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->handle_irq 1-4173946259769282559,4173946259769282561-u64max
PARAM_VALUE 0 desc->irq_data.common 4096-ptr_max
PARAM_VALUE 1 flags 1-15
BUF_SIZE 0 desc->name (-1),4-9,11-13,15-16,21,27
DATA_SOURCE 0 desc $0
DATA_SOURCE 1 flags r irqd_get_trigger_type
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/irq/chip.c irq_set_irq_type() -> __irq_set_trigger()

Type Parameter Key Value
PARAM_VALUE 0 desc 0-ptr_max
DATA_SOURCE 1 flags $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &board->big_gpib_mutex
HALF_LOCKED2 &d->root->mutex
HALF_LOCKED2 &env->read_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &priv->rw_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags