/* XXX Implement for iseries */ 
/* Only need to enable them once */ if (__get_cpu_var(pmcs_enabled)) return;  __get_cpu_var(pmcs_enabled) = 1;  if (ppc_md.enable_pmcs) ppc_md.enable_pmcs(); 
void ppc64_enable_pmcs(void){	/* XXX Implement for iseries */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/180a33627d958d5d9d3602dde6ac74b315e136f0/sysfs.c/buggy/arch/ppc64/kernel/sysfs.c