db8500_prcmu_system_reset  522 include/linux/mfd/db8500-prcmu.h void db8500_prcmu_system_reset(u16 reset_code);
db8500_prcmu_system_reset  303 include/linux/mfd/dbx500-prcmu.h 	return db8500_prcmu_system_reset(reset_code);