[src/trunk]: src/sys/arch/powerpc/include Add an KASSERT to check that PSL_PR...

[matt <matt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/d6da56c06e3b
branches:  trunk
changeset: 779305:d6da56c06e3b
user:      matt <matt%NetBSD.org@localhost>
date:      Thu May 17 16:21:45 2012 +0000

description:
Add an KASSERT to check that PSL_PR is always set.

diffstat:

 sys/arch/powerpc/include/userret.h |  6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diffs (20 lines):

diff -r c32167689791 -r d6da56c06e3b sys/arch/powerpc/include/userret.h
--- a/sys/arch/powerpc/include/userret.h        Thu May 17 16:20:19 2012 +0000
+++ b/sys/arch/powerpc/include/userret.h        Thu May 17 16:21:45 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: userret.h,v 1.22 2011/09/27 01:02:36 jym Exp $ */
+/*     $NetBSD: userret.h,v 1.23 2012/05/17 16:21:45 matt Exp $        */
 
 /*
  * Copyright (C) 1995, 1996 Wolfgang Solfrank.
@@ -57,6 +57,10 @@
        /* Invoke MI userret code */
        mi_userret(l);
 
+       KASSERTMSG((tf->tf_srr1 & PSL_PR) != 0,
+           "tf=%p: srr1 (%#lx): PSL_PR isn't set!",
+           tf, tf->tf_srr1);
+
        tf->tf_srr1 &= PSL_USERSRR1;    /* clear SRR1 status bits */
 
 #ifdef ALTIVEC