kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/config-ppc32-mpc52xx.cpp

   1 INTERFACE [ppc32 && mpc52xx]:
   2
   3 #include "pic.h"
   4
   5 #define TARGET_NAME "MPC52xx"
   6
   7 EXTENSION class Config
   8 {
   9 public:
  10   enum
  11   {
  12     Max_num_dirqs = Pic::IRQ_MAX,
  13   };
  14 };