_cpuid_skt
extern uint32_t _cpuid_skt(uint_t, uint_t, uint_t, uint_t);
return (_cpuid_skt(xpv_vendor(hdl), xpv_family(hdl),
extern uint32_t _cpuid_skt(uint_t, uint_t, uint_t, uint_t);
cpi->cpi_socket = _cpuid_skt(cpi->cpi_vendor, cpi->cpi_family,