K 10 svn:author V 6 anholt K 8 svn:date V 27 2003-09-17T02:58:17.000000Z K 7 svn:log V 133 Fix a typo in r1.8: The GTLB enable/flush bit is 1<<7, not 1<<8. PR: kern/56297 Submitted by: Dan Angelescu END