cpu_id            529 bsp/drv/dev/cpufreq/est.c 	u_int cpu_id;
cpu_id            538 bsp/drv/dev/cpufreq/est.c 		cpu_id = 0x6d6;
cpu_id            542 bsp/drv/dev/cpufreq/est.c 		DPRINTF(("CPU ID: %08x\n", cpu_id));
cpu_id            550 bsp/drv/dev/cpufreq/est.c 	cpu_id = regs[0];
cpu_id            551 bsp/drv/dev/cpufreq/est.c 	DPRINTF(("CPU ID: %08x\n", cpu_id));