K 10
svn:author
V 6
grehan
K 8
svn:date
V 27
2004-11-30T09:04:41.000000Z
K 7
svn:log
V 147
Create a new definition, PSL_KERNSET, which is used for setting the
MSR in kernel mode. Redefine PSL_USERSET in terms of this by or'ing
in PSL_PR.

END