kernel/fiasco/src/kern/arm/pic-arm.cpp

   1 //-------------------------------------------------------------------
   2 IMPLEMENTATION [arm]:
   3
   4 #include "config.h"
   5
   6 PUBLIC static inline NEEDS["config.h"]
   7 unsigned
   8 Pic::nr_irqs()
   9 { return Config::Max_num_dirqs; }
  10
  11