> I couldn't quickly decipher which MSRs we're writing to here in the SDM, > but are these really 64-bit wide registers that need 32 bits always set to > zero ?
Yes the filter MSRs are only 32bit. > I'm wondering if these should be just wrmsr's instead of wrmsrl's. Can we just shut up coverity please? wrmsr() is stupid and error prone and should have never been added as an interface. -Andi -- [email protected] -- Speaking for myself only -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
