MSR_IA32_FRED_RSP2
wrmsrq(MSR_IA32_FRED_RSP2, 0);
wrmsrq(MSR_IA32_FRED_RSP2, __this_cpu_ist_top_va(NMI));