K 10 svn:author V 6 jkoshy K 8 svn:date V 27 2007-08-07T09:16:18.000000Z K 7 svn:log V 208 MFC rev 1.669: "Use a known good stack at the time of servicing an NMI--- reuse the space allocated for the double fault handler since this space is otherwise unused till the time a double fault occurs." END