db8500_prcmu_write_masked
void db8500_prcmu_write_masked(unsigned int reg, u32 mask, u32 value);
db8500_prcmu_write_masked(reg, mask, value);