On Fri, Oct 03, 2014 at 10:59:15AM -0700, Andy Lutomirski wrote: > RDPMC is controlled by CR4.PCE, whereas RDTSC is controlled by > CR4.TSD, This is my understanding too, they're separate things. -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html