30 /* Return nonzero iff the domain's clock is active */
51 /* Enable or disable a PSC domain */
52 void davinci_psc_config(unsigned int domain, unsigned int ctlr,  in davinci_psc_config()  argument
82 	pdstat = __raw_readl(psc_base + PDSTAT + 4 * domain);  in davinci_psc_config()
84 		pdctl = __raw_readl(psc_base + PDCTL + 4 * domain);  in davinci_psc_config()
86 		__raw_writel(pdctl, psc_base + PDCTL + 4 * domain);  in davinci_psc_config()
88 		ptcmd = 1 << domain;  in davinci_psc_config()
93 		} while ((((epcpr >> domain) & 1) == 0));  in davinci_psc_config()
95 		pdctl = __raw_readl(psc_base + PDCTL + 4 * domain);  in davinci_psc_config()
97 		__raw_writel(pdctl, psc_base + PDCTL + 4 * domain);  in davinci_psc_config()
99 		ptcmd = 1 << domain;  in davinci_psc_config()
105 	} while (!(((ptstat >> domain) & 1) == 0));  in davinci_psc_config()