1 /* $NetBSD: psl.h,v 1.3 2005/12/11 12:17:12 christos 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 29