db8500_prcmu_system_reset
void db8500_prcmu_system_reset(u16 reset_code);
db8500_prcmu_system_reset(reset_code);