K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2010-04-06T19:00:35.344123Z
K 7
svn:log
V 233
o) Set PX in addition to UX, KX and SX.
o) Don't mask off UX, KX and SX bits when returning from user exceptions and
   interrupts.  We leave those bits set in userland and intend to.  This blows
   up on N64.
o) Adjust NUSERPGTBLS.

END