Defined in 3 files as a function:

Referenced in 38 files:

Smatch caller information:

arch/x86/xen/enlighten_hvm.c __sysvec_xen_hvm_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/xen/enlighten_hvm.c __sysvec_xen_hvm_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/apic/apic.c __sysvec_apic_timer_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
CAPPED_DATA 0 new_regs 1
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/apic/apic.c __sysvec_apic_timer_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/cpu/mshyperv.c __sysvec_hyperv_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/cpu/mshyperv.c __sysvec_hyperv_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/cpu/mshyperv.c __sysvec_hyperv_stimer0() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/cpu/mshyperv.c __sysvec_hyperv_stimer0() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/xen/enlighten_pv.c __xen_pv_evtchn_do_upcall() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
CAPPED_DATA 0 new_regs 1
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/xen/enlighten_pv.c __xen_pv_evtchn_do_upcall() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/kvm.c __sysvec_kvm_asyncpf_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/kvm.c __sysvec_kvm_asyncpf_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/cpu/acrn.c __sysvec_acrn_hv_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/cpu/acrn.c __sysvec_acrn_hv_callback() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/irq.c __common_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
PARAM_VALUE 0 new_regs->fred_ss.type 0
PARAM_VALUE 0 new_regs->fred_ss.vector 32-234
CAPPED_DATA 0 new_regs 1
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/irq.c __common_interrupt() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kernel/irq.c __sysvec_posted_msi_notification() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
CAPPED_DATA 0 new_regs 1
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/irq.c __sysvec_posted_msi_notification() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/irq.c __sysvec_x86_platform_ipi() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 4096-ptr_max
CAPPED_DATA 0 new_regs 1
DATA_SOURCE 0 new_regs $0
PREEMPT_ADD

arch/x86/kernel/irq.c __sysvec_x86_platform_ipi() -> set_irq_regs()

Type Parameter Key Value
PARAM_VALUE 0 new_regs 0,4096-ptr_max
DATA_SOURCE 0 new_regs r set_irq_regs
PREEMPT_ADD
NOCHECK_CALL