tree b0a9e9d2d4a7062dc6f20c463109af14e56c9c7e
parent 72c0098d92cedb11c7e0151e84918840a4e96b31
author Andy Lutomirski <luto@kernel.org> 1504752894 -0700
committer Linus Torvalds <torvalds@linux-foundation.org> 1504753977 -0700

x86/mm: Document how CR4.PCIDE restore works

While debugging a problem, I thought that using
cr4_set_bits_and_update_boot() to restore CR4.PCIDE would be
helpful.  It turns out to be counterproductive.

Add a comment documenting how this works.

Signed-off-by: Andy Lutomirski <luto@kernel.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>