db8500_prcmu_write
void db8500_prcmu_write(unsigned int reg, u32 value);
db8500_prcmu_write(reg, value);