K 10 svn:author V 5 dyson K 8 svn:date V 27 1996-02-25T03:02:53.000000Z K 7 svn:log V 126 Fix a problem with tracking the modified bit. Eliminate the ugly inline-asm code, and speed up the page-table-page tracking. END