[PATCH] x86_64: add nmi_exit to die_nmi
[linux-2.6] / Documentation / memory.txt
2005-04-16  Linus TorvaldsLinux-2.6.12-rc2 v2.6.12-rc2