Comment 3 for bug 1160378

Revision history for this message
Stefan Bader (smb) wrote :

Thanks for the feedback. Incidentally, while discussing a potential bug in Xen related to SMEP, I realized the bug in the cpuid tool. Looking at /proc/cpuinfo or x86info gives me the correct info. So I will repeat the testing today (though probably it was done already without realizing).