"H. Peter Anvin" <hpa@xxxxxxxxx> writes:Well, there *is* support for that - all the raw information is there
in /dev/cpu/*/cpuid. There are other reasons why /proc/cpuinfo is the
wrong interface to try to get the "real" CPUID information - we only
report CPU features that the kernel knows about; bits we don't, if we
can decode them at all, we just don't show.
They are reported as numbers (assuming they are in the existing leaves)