No, that's a good hint that what "you and I" are proposing is utterly
broken and exactly underscores what I have been stressing about
noncompliant hypervisors.
All I have seen out of Microsoft only covers CPUID levels 0x40000000 as
an vendor identification leaf and 0x40000001 as a "hypervisor
identification leaf", but you might have access to other information.
This further underscores my belief that using 0x400000xx for anything
"standards-based" at all is utterly futile, and that this space should
be treated as vendor identification and the rest as vendor-specific.
Any hope of creating a standard that's actually usable needs to be
outside this space, e.g. in the 0x40SSSSxx space I proposed earlier.
-hpa
--