K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-03-16T15:50:31.847794Z
K 7
svn:log
V 408
After rereading the manual, realize that slbia invalidates only SLB
slots 1-63, leaving slot 0 intact. This could trigger an SLB parity error,
which is why the kernel could not boot before. Follow slbia with explicit
invalidation of SLB slot 0.

While here, remove the other source of machine checks by fixing a typo
that made large pages running off the ends of the large pages not
actually marked guarded.

END