+
+ /* Most hypervisors only have information in leaf 0x40000000, but
+ * upstream Xen contains further leaf entries (in particular when
+ * used with Viridian [HyperV] extensions). CPUID is supposed to
+ * return the maximum leaf offset in %eax, so that's what we use,
+ * but only if it looks sensible.