Branch data     Line data    Source code

       1                 :            : /* SPDX-License-Identifier: GPL-2.0 */
       2                 :            : /*
       3                 :            :  * Nothing to see here yet
       4                 :            :  */
       5                 :            : #ifndef _ARCH_ARM_HW_IRQ_H
       6                 :            : #define _ARCH_ARM_HW_IRQ_H
       7                 :            : 
       8                 :            : static inline void ack_bad_irq(int irq)
       9                 :            : {
      10                 :            :         extern unsigned long irq_err_count;
      11                 :          0 :         irq_err_count++;
      12                 :          0 :         pr_crit("unexpected IRQ trap at vector %02x\n", irq);
      13                 :            : }
      14                 :            : 
      15                 :            : #define ARCH_IRQ_INIT_FLAGS     (IRQ_NOREQUEST | IRQ_NOPROBE)
      16                 :            : 
      17                 :            : #endif