sys/arch/evbppc/include/psl.h

   1 /*      $NetBSD: psl.h,v 1.1.8.3 2004/09/21 13:15:07 skrll Exp $        */
   2
   3 #ifdef _KERNEL_OPT
   4 #include "opt_ppcarch.h"
   5 #endif
   6
   7 #include <powerpc/psl.h>
   8
   9 #ifdef PPC_IBM4XX
  10 /* 4xx don't have PSL_RI */
  11 #undef PSL_USERSET
  12 #ifdef PPC_IBM403
  13 #define PSL_USERSET     (PSL_EE | PSL_PR | PSL_ME | PSL_IR | PSL_DR)
  14 #else
  15 /* Apparently we get unexplained machine checks, so disable them. */
  16 #define PSL_USERSET     (PSL_EE | PSL_PR | PSL_IR | PSL_DR)
  17 #endif
  18
  19 /*
  20  * We also need to override the PSL_SE bit.  4xx have completely
  21  * different debug register support.
  22  *
  23  * The SE bit is actually the DWE bit.  We want to set the DE bit
  24  * to enable the debug regs instead of the DWE bit.
  25  */
  26 #undef  PSL_SE
  27 #define PSL_SE  0x00000200
  28 #endif