K 10 svn:author V 3 alc K 8 svn:date V 27 2007-11-08T18:02:27.000000Z K 7 svn:log V 326 MFC Add comments explaining why all stores updating a non-kernel page table must be globally performed before calling any of the TLB invalidation functions. With one exception, on amd64, this requirement was already met. Fix this one case. Also, as a clarification, change an existing atomic op into a release. END