irq_startup_managed identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

kernel/irq/internals.h, line 96 (as a prototype)

Defined in 1 files as a function:

kernel/irq/chip.c, line 210 (as a function)

Referenced in 2 files:

Smatch caller information:

kernel/irq/irq_test.c irq_shutdown_depth_test() -> irq_startup_managed()

Type	Parameter	Key	Value
PARAM_VALUE	0	desc	4096-ptr_max
PARAM_VALUE	0	desc->irq_data.chip_data->iommu->lock.dep_map->name	0-255
PARAM_VALUE	0	desc->irq_data.chip_data->irq_2_iommu.iommu->qi->free_cnt	s32min-s32max
PARAM_VALUE	0	desc->irq_data.chip_data->irq_2_iommu.iommu->qi->free_head	s32min-s32max
PARAM_VALUE	0	desc->irq_data.chip_data->irq_2_iommu.iommu->qi->free_tail	s32min-s32max
PARAM_VALUE	0	desc->irq_data.chip_data->irq_2_iommu.iommu->qi->q_lock.dep_map->name	0-255
PARAM_VALUE	0	desc->irq_data.chip_data->irq_2_iommu.iommu->qi->q_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->cmd_buf_head	0-4294967295
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->cmd_buf_tail	0-8191
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->irtcachedis_enabled	0-1
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->lock.dep_map->name	0-255
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->lock.owner	(-1)
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->lock.owner_cpu	4294967295
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->iommu->need_sync	0-1
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.dep_map->name	0-255
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.owner	(-1)
PARAM_VALUE	0	desc->irq_data.parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.owner_cpu	4294967295
PARAM_VALUE	0	desc->irq_data.parent_data->parent_data	0
PARAM_VALUE	0	desc->resend_node->next->pprev	1-u64max
PARAM_VALUE	0	desc->resend_node.next	0
PARAM_VALUE	0	desc->resend_node.next->pprev	1-u64max
PARAM_VALUE	0	desc->resend_node.pprev	0
DATA_SOURCE	0	desc	r irq_to_desc
NOCHECK_CALL
HOST_DATA	0	desc->irq_data->chip_data->iommu	s64min-s64max
HOST_DATA	0	desc->irq_data->parent_data->chip_data->iommu	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->acpi_flags	0-255
HOST_DATA	0	desc->irq_data.chip_data->iommu->cap	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->cap_ptr	0-u16max
HOST_DATA	0	desc->irq_data.chip_data->iommu->cmd_buf_head	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->cmd_buf_tail	0-8191
HOST_DATA	0	desc->irq_data.chip_data->iommu->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->cmd_sem_val	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->dbg_cap_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.chip_data->iommu->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.chip_data->iommu->devid	0-u16max
HOST_DATA	0	desc->irq_data.chip_data->iommu->features	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->features2	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->flags	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->index	s32min-s32max
HOST_DATA	0	desc->irq_data.chip_data->iommu->int_enabled	0-1
HOST_DATA	0	desc->irq_data.chip_data->iommu->iommu.max_pasids	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->iommu.ready	0-1
HOST_DATA	0	desc->irq_data.chip_data->iommu->irtcachedis_enabled	0-1
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.magic	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.raw_lock.locked	0-255
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.raw_lock.pending	0-255
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.raw_lock.tail	0-u16max
HOST_DATA	0	desc->irq_data.chip_data->iommu->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	desc->irq_data.chip_data->iommu->max_banks	0-255
HOST_DATA	0	desc->irq_data.chip_data->iommu->max_counters	0-255
HOST_DATA	0	desc->irq_data.chip_data->iommu->mmio_phys	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->mmio_phys_end	s64min-s64max
HOST_DATA	0	desc->irq_data.chip_data->iommu->need_sync	1
HOST_DATA	0	desc->irq_data.chip_data->iommu->stored_addr_hi	0-4294967295
HOST_DATA	0	desc->irq_data.chip_data->iommu->stored_addr_lo	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->acpi_flags	0-255
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cap	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cap_ptr	0-u16max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cmd_buf_head	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cmd_buf_tail	0-8191
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->cmd_sem_val	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->dbg_cap_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->devid	0-u16max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->features	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->features2	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->flags	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->index	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->int_enabled	0-1
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->iommu.max_pasids	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->iommu.ready	0-1
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->irtcachedis_enabled	0
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->max_banks	0-255
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->max_counters	0-255
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->mmio_phys	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->mmio_phys_end	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->need_sync	1
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->stored_addr_hi	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->chip_data->iommu->stored_addr_lo	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->acpi_flags	0-255
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cap	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cap_ptr	0-u16max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cmd_buf_head	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cmd_buf_tail	0-8191
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->cmd_sem_val	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->dbg_cap_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->devid	0-u16max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->features	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->features2	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->flags	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->index	s32min-s32max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->int_enabled	0-1
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->iommu.max_pasids	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->iommu.ready	0-1
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->irtcachedis_enabled	0
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->max_banks	0-255
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->max_counters	0-255
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->mmio_phys	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->mmio_phys_end	s64min-s64max
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->need_sync	1
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->stored_addr_hi	0-4294967295
HOST_DATA	0	desc->irq_data.parent_data->parent_data->chip_data->iommu->stored_addr_lo	0-4294967295

kernel/irq/cpuhotplug.c irq_restore_affinity_of_irq() -> irq_startup_managed()

Type	Parameter	Key	Value
PARAM_VALUE	0	desc	4096-ptr_max
PARAM_VALUE	0	desc->action	1-u64max
DATA_SOURCE	0	desc	$0
STR_LEN	0	desc	(-1),8-9,11-29,31-34,38
STR_LEN	0	desc	(-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &sparse_irq_lock
HALF_LOCKED2		global &cpuhp_state_mutex
HALF_LOCKED2		irq