K 10
svn:author
V 5
green
K 8
svn:date
V 27
1999-07-20T13:21:55.000000Z
K 7
svn:log
V 114
I missed a not. Also, remove invltlb(), since it's "unncessary [sic] because
wbinvd already flushes the the TLB."

END