dump_descs
dump_descs(0x00000000, ci->ci_max_cpuid, cpuname, "basic");
dump_descs(0x40000000, descs[0], cpuname, "hypervisor");
dump_descs(0x80000000, ci->ci_max_ext_cpuid, cpuname, "extended");