_cpuid_vendorstr_to_vendorcode
vendor = _cpuid_vendorstr_to_vendorcode(
extern uint_t _cpuid_vendorstr_to_vendorcode(char *);
return (_cpuid_vendorstr_to_vendorcode((char *)xen_physcpu_vendorstr(
extern uint_t _cpuid_vendorstr_to_vendorcode(char *);
cpi->cpi_vendor = _cpuid_vendorstr_to_vendorcode(cpi->cpi_vendorstr);