db8500_prcmu_system_reset
void db8500_prcmu_system_reset(u16 reset_code)
static inline void db8500_prcmu_system_reset(u16 reset_code) {}