> I thought Linux had long ago gone the route of turning rdmsr/wrmsr > into rdmsr_safe/wrmsr_safe, so that the guest would ignore the #GPs on > writes and return zero to the caller for #GPs on reads. Linux just switched that around for the machine check banks ... if they #GP fault, then something is seriously wrong. Maybe that isn't a general change of direction though. Perhaps I should either use rdmsrl_safe() in this code. Or (better?) add if (boot_cpu_has(X86_FEATURE_HYPERVISOR)) return; to the start of intel_imc_init(). -Tony