Branch data Line data Source code
1 : : /* SPDX-License-Identifier: GPL-2.0 */ 2 : : #ifndef _ASM_IRQ_WORK_H 3 : : #define _ASM_IRQ_WORK_H 4 : : 5 : : #include <asm/cpufeature.h> 6 : : 7 : : #ifdef CONFIG_X86_LOCAL_APIC 8 : 0 : static inline bool arch_irq_work_has_interrupt(void) 9 : : { 10 : 0 : return boot_cpu_has(X86_FEATURE_APIC); 11 : : } 12 : : extern void arch_irq_work_raise(void); 13 : : extern __visible void smp_irq_work_interrupt(struct pt_regs *regs); 14 : : #else 15 : : static inline bool arch_irq_work_has_interrupt(void) 16 : : { 17 : : return false; 18 : : } 19 : : #endif 20 : : 21 : : #endif /* _ASM_IRQ_WORK_H */