psl.h revision 1.1 
11.1Sscw/*	$NetBSD: psl.h,v 1.1 2002/12/09 12:16:13 scw Exp $	*/
21.1Sscw
31.1Sscw#ifdef _KERNEL_OPT
41.1Sscw#include "opt_ppcarch.h"
51.1Sscw#endif
61.1Sscw
71.1Sscw#include <powerpc/psl.h>
81.1Sscw
91.1Sscw#ifdef PPC_IBM4XX
101.1Sscw/* Apparently we get unexplained machine checks, so disable them. */
111.1Sscw#undef PSL_USERSET
121.1Sscw#define	PSL_USERSET	(PSL_EE | PSL_PR | PSL_IR | PSL_DR | PSL_RI)
131.1Sscw
141.1Sscw/*
151.1Sscw * We also need to override the PSL_SE bit.  4xx have completely
161.1Sscw * different debug register support.
171.1Sscw *
181.1Sscw * The SE bit is actually the DWE bit.  We want to set the DE bit
191.1Sscw * to enable the debug regs instead of the DWE bit.
201.1Sscw */
211.1Sscw#undef	PSL_SE
221.1Sscw#define	PSL_SE	0x00000200
231.1Sscw#endif
24