get_chipid
static int get_chipid(kstat_ctl_t *kc, processorid_t cpuid);
gstate[i].chip_id = get_chipid(kc, c);