CPUID_IBSID
if (regs[0] >= CPUID_IBSID) {
do_cpuid(CPUID_IBSID, regs);
if (cpu_exthigh >= CPUID_IBSID) {
do_cpuid(CPUID_IBSID, regs);
if (is_amd && ext_max >= CPUID_IBSID) {
do_cpuid(CPUID_IBSID, tmp);