cacheinfo_cpu_offline
cacheinfo_cpu_offline(cpu);
extern void cacheinfo_cpu_offline(unsigned int cpu_id);