PI_TYPELEN
(void) strlcpy(vbuf, cpu_info.pi_processor_type, PI_TYPELEN);
PICL_PTYPE_CHARSTRING, (PICL_READ|PICL_VOLATILE), PI_TYPELEN,
char pi_processor_type[PI_TYPELEN]; /* ASCII CPU type */