vmcs_write64(HOST_IA32_FRED_RSP1,
read_msr(MSR_IA32_FRED_RSP1));
vmcs_write64(HOST_IA32_FRED_RSP2,
read_msr(MSR_IA32_FRED_RSP2));
vmcs_write64(HOST_IA32_FRED_RSP3,
read_msr(MSR_IA32_FRED_RSP3));
vmcs_write64(HOST_IA32_FRED_SSP1,
read_msr(MSR_IA32_FRED_SSP1));
vmcs_write64(HOST_IA32_FRED_SSP2,
read_msr(MSR_IA32_FRED_SSP2));
vmcs_write64(HOST_IA32_FRED_SSP3,
read_msr(MSR_IA32_FRED_SSP3));
}
+#endif
why is this hunk enclosed in #ifdef CONFIG_X86_64 while the one below isn't?
As if the compiler doesn't complain, I should NOT add it.
I think I don't need to add CONFIG_X86_64 for the above, but somehow this was left over. Let me double check.