seq_printf(m, "eeh_total_mmio_ffs=%ld\n" "eeh_false_positives=%ld\n" "eeh_ignored_failures=%ld\n" "eeh_slot_resets=%ld\n" "eeh_fail_count=%d\n", ffs, positives, failures, resets, eeh_fail_count.counter); 
seq_printf(m, "no device=%ld\n" "no device node=%ld\n" "no config address=%ld\n" "check not wanted=%ld\n" "eeh_total_mmio_ffs=%ld\n" "eeh_false_positives=%ld\n" "eeh_ignored_failures=%ld\n" "eeh_slot_resets=%ld\n", no_dev, no_dn, no_cfg, no_check, ffs, positives, failures, resets); 
static int proc_eeh_show(struct seq_file *m, void *v){	unsigned int cpu;	unsigned long ffs = 0, positives = 0, failures = 0;	unsigned long resets = 0;	for_each_cpu(cpu) {		ffs += per_cpu(total_mmio_ffs, cpu);		positives += per_cpu(false_positives, cpu);		failures += per_cpu(ignored_failures, cpu);		resets += per_cpu(slot_resets, cpu);	}	if (0 == eeh_subsystem_enabled) {		seq_printf(m, "EEH Subsystem is globally disabled\n");		seq_printf(m, "eeh_total_mmio_ffs=%ld\n", ffs);	} else {		seq_printf(m, "EEH Subsystem is enabled\n");		seq_printf(m, "eeh_total_mmio_ffs=%ld\n"			   "eeh_false_positives=%ld\n"			   "eeh_ignored_failures=%ld\n"			   "eeh_slot_resets=%ld\n"				"eeh_fail_count=%d\n",			   ffs, positives, failures, resets,				eeh_fail_count.counter);	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/177bc9367efe89a642bc9a07351726fd2c31f5ff/eeh.c/clean/arch/ppc64/kernel/eeh.c