Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 irq 0
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain 0,4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.request 0-4
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->handler 1-u64max
BUF_SIZE 2 new 4096
DATA_SOURCE 0 irq $0
DATA_SOURCE 1 desc r irq_to_desc
DATA_SOURCE 2 new r _kzalloc_noprof
BIT_INFO 2 new->flags 0x10c00,0xfffbef7f

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

Type Parameter Key Value
PARAM_VALUE 0 irq 0
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain 0,4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.request 0-4
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 desc->status_use_accessors 131072-u32max
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->affinity 1-u64max
PARAM_VALUE 2 new->flags 17408,17536,84992,85120
PARAM_VALUE 2 new->percpu_dev_id 1-u64max
BUF_SIZE 2 new 4096
BUF_SIZE 2 new->name 14,16
BUF_SIZE 2 new->percpu_dev_id (-1),8
DATA_SOURCE 0 irq $0
DATA_SOURCE 1 desc r irq_to_desc
DATA_SOURCE 2 new r create_percpu_irqaction
STR_LEN 0 irq (-1),13,15
BIT_INFO 2 new->flags 0x4400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *new->name 0-255
USER_PTR 2 new->name

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

Type Parameter Key Value
PARAM_VALUE 0 irq 0
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->core_internal_state__do_not_mess_with_it 8192-u32max
PARAM_VALUE 1 desc->irq_data.domain 0,4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.request 0-4
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 desc->status_use_accessors 131072-u32max
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->affinity 1-u64max
PARAM_VALUE 2 new->flags 17408,17536,84992,85120
PARAM_VALUE 2 new->handler 1-u64max
BUF_SIZE 2 new 4096
DATA_SOURCE 0 irq $0
DATA_SOURCE 1 desc r irq_to_desc
DATA_SOURCE 2 new r create_percpu_irqaction
BIT_INFO 2 new->flags 0x4400,0xffffffffffffffff

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

Type Parameter Key Value
PARAM_VALUE 0 irq 0
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain 0,4096-ptr_max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.request 0-4
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 desc->irq_data.domain->pm_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 new 4096-ptr_max
PARAM_VALUE 2 new->handler 1-u64max
BUF_SIZE 2 new 4096
DATA_SOURCE 0 irq $0
DATA_SOURCE 1 desc r irq_to_desc
DATA_SOURCE 2 new r _kzalloc_noprof