K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-03-26T15:52:32.556695Z
K 7
svn:log
V 246
Take some extra care with MSR values. First, define them to longs so that
setting SRR1 &= ~PSL_SE does not accidentally unset 64-bit mode. Second,
make sure that, in the 64-bit case, PSL_HV is explicitly preserved when
returning from interrupts.

END