db8500_prcmu_write
void db8500_prcmu_write(unsigned int reg, u32 value)
static inline void db8500_prcmu_write(unsigned int reg, u32 value) {}