MSR_IA32_FRED_RSP0
wrmsrns(MSR_IA32_FRED_RSP0, rsp0);
wrmsrq(MSR_IA32_FRED_RSP0, __this_cpu_read(fred_rsp0));