Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/crypto/ccp/sp-dev.c sp_irq_handler() -> (struct sp_device)->ccp_irq_handler()

Type Parameter Key Value
BUF_SIZE 1 data 4800
DATA_SOURCE 0 irq $0
CONTAINER 1 *(-128+136) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

kernel/irq/manage.c __free_irq() -> (struct irqaction)->handler()

Type Parameter Key Value
CAPPED_DATA 1 data 1
DATA_SOURCE 1 data $1
NOCHECK_CALL
LOCK2 &desc->request_mutex
LOCK2 flags
TYPE_LOCK (struct irq_desc)->request_mutex

kernel/irq/handle.c __handle_irq_event_percpu() -> (struct irqaction)->handler()

Type Parameter Key Value
CONTAINER 1 *(-0+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/irq/handle.c __handle_irq_event_percpu() -> (struct irqaction)->handler()

Type Parameter Key Value
CONTAINER 1 *(-0+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/irq/chip.c handle_fasteoi_nmi() -> (struct irqaction)->handler()

Type Parameter Key Value
CONTAINER 1 *(-0+8) $(-1)

kernel/irq/chip.c handle_percpu_devid_irq() -> (struct irqaction)->handler()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

kernel/irq/manage.c irq_thread_fn() -> (struct irqaction)->thread_fn()

Type Parameter Key Value
CONTAINER 0 *(-32+56) $(-1)
CONTAINER 1 *(-32+8) $(-1)
HALF_LOCKED2 bh
HALF_LOCKED2 irq

kernel/irq/chip.c handle_nested_irq() -> (struct irqaction)->thread_fn()

Type Parameter Key Value
CONTAINER 0 *(-32+56) $(-1)
CONTAINER 1 *(-32+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &rt5677->irq_lock
HALF_LOCKED2 &slave->sdw_dev_lock
HALF_LOCKED2 &smaster->lock
HALF_LOCKED2 _T->lock

Smatch assignments to (struct sp_device)->ccp_irq_handler:

drivers/crypto/ccp/ccp-dev-v5.c ccp5_init() -> (struct sp_device)->ccp_irq_handler [5610538220219236352]

drivers/crypto/ccp/hsti.c anti_rollback_status_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c boot_integrity_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c debug_lock_on_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c fused_part_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c hsp_tpm_available_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c rom_armor_enforced_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c rpmc_production_enabled_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c rpmc_spirom_available_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/hsti.c tsme_status_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/sp-dev.c sp_alloc_struct() -> (struct sp_device)->ccp_irq_handler [0]

drivers/crypto/ccp/sp-dev.c sp_free_ccp_irq() -> (struct sp_device)->ccp_irq_handler [0]

drivers/crypto/ccp/sp-dev.c sp_irq_handler() -> (struct sp_device)->ccp_irq_handler [0-u64max]

drivers/crypto/ccp/sp-dev.c sp_request_ccp_irq() -> (struct sp_device)->ccp_irq_handler [0-u64max]

drivers/crypto/ccp/sp-pci.c bootloader_version_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/sp-pci.c tee_version_show() -> (struct sp_device)->ccp_irq_handler [ignore]

drivers/crypto/ccp/ccp-dev-v3.c ccp_init() -> (struct sp_device)->ccp_irq_handler [9081274520275591168]