get_chip_ID
sc->sc_sensordev->xname), "cpu_node%d", get_chip_ID(cpu));
ksnprintf(buf, sizeof(buf), desc, get_chip_ID(cpu),
ksnprintf(buf, sizeof(buf), desc, get_chip_ID(cpu));
"cpu_node%d", get_chip_ID(cpu));
get_chip_ID(cpu), desc);
"node%d core%d temp", get_chip_ID(cpu),
get_chip_ID(sc->sc_cpu));
get_chip_ID(sc->sc_cpu));
get_chip_ID(sc->sc_cpu),
get_chip_ID(sc->sc_cpu));
if (get_chip_ID(BSPID) != get_chip_ID(i))
get_chip_ID(bsr_member));
if (get_chip_ID(cpuid) == chip_id)
phys_id = get_chip_ID(i);
int get_chip_ID(int cpuid);
int get_chip_ID(int cpuid);