eeh_pe_update_time_stamp  287 arch/powerpc/include/asm/eeh.h void eeh_pe_update_time_stamp(struct eeh_pe *pe);
eeh_pe_update_time_stamp  926 arch/powerpc/kernel/eeh_driver.c 	eeh_pe_update_time_stamp(pe);