db8500_prcmu_system_reset 2353 drivers/mfd/db8500-prcmu.c void db8500_prcmu_system_reset(u16 reset_code)
db8500_prcmu_system_reset  660 include/linux/mfd/db8500-prcmu.h static inline void db8500_prcmu_system_reset(u16 reset_code) {}