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