PSL_CE
mtmsr(mfmsr() | PSL_CE | PSL_ME | PSL_DE);
msr = (msr & ~(PSL_EE|PSL_CE|PSL_ME)) | PSL_WE;
mtmsr(mfmsr() | PSL_CE | PSL_ME | PSL_DE);
KASSERT(wdog_barked || (mfmsr() & PSL_CE));
KASSERT(wdog_barked || (mfmsr() & PSL_CE));
KASSERT(wdog_barked || (mfmsr() & PSL_CE));
if ((mfmsr() & PSL_CE) == 0) {
if ((mfmsr() & PSL_CE) == 0) {
if ((mfmsr() & PSL_CE) == 0) {
mtmsr(mfmsr()|PSL_CE);
if ((mfmsr() & PSL_CE) == 0) {
#define PSL_USERSET (PSL_EE | PSL_PR | PSL_IS | PSL_DS | PSL_ME | PSL_CE)
#define PSL_USERMASK (PSL_SPV | PSL_CE | 0xFFFF)