> > > >+ 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.