NMAX_CPI_EXTD
struct cpuid_regs cpi_extd[NMAX_CPI_EXTD]; /* 0x800000XX */
if ((nmax = cpi->cpi_xmaxeax - CPUID_LEAF_EXT_0 + 1) > NMAX_CPI_EXTD)
nmax = NMAX_CPI_EXTD;
cp->cp_eax < CPUID_LEAF_EXT_0 + NMAX_CPI_EXTD) {