/* cdns3_set_register_bit - set bit in given register. @ptr: address of device controller register to be read and changed @mask: bits requested to set  */
void cdns3_set_register_bit(void __iomem *ptr, u32 mask)
/* cdns3_set_register_bit - set bit in given register. @ptr: address of device controller register to be read and changed @mask: bits requested to set  */
void cdns3_set_register_bit(void __iomem *ptr, u32 mask)
{
	mask = readl(ptr) | mask;
	writel(mask, ptr);
}