K 10 svn:author V 3 bde K 8 svn:date V 27 1996-10-25T12:26:19.000000Z K 7 svn:log V 245 Removed #include of . It is no longer used, and would break when I remove LOCORE support from clock.h. I586_CTR_MULTIPLIER_SHIFT = 32 from clock.h is actually still used, but 32 is so magic that it doesn't get used explicitly. END