1 /* $NetBSD: psl.h,v 1.1 2002/12/09 12:16:13 scw 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 /* Apparently we get unexplained machine checks, so disable them. */ 11 #undef PSL_USERSET 12 #define PSL_USERSET (PSL_EE | PSL_PR | PSL_IR | PSL_DR | PSL_RI) 13 14 /* 15 * We also need to override the PSL_SE bit. 4xx have completely 16 * different debug register support. 17 * 18 * The SE bit is actually the DWE bit. We want to set the DE bit 19 * to enable the debug regs instead of the DWE bit. 20 */ 21 #undef PSL_SE 22 #define PSL_SE 0x00000200 23 #endif 24