psl.h revision 1.2 
1/*	$NetBSD: psl.h,v 1.2 2004/05/12 14:38:17 hannken 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