/* psc_disable_domain() - Disable a power domain @domain_num: GPSC domain number  */
int psc_disable_domain(u32 domain_num)
/* psc_disable_domain() - Disable a power domain @domain_num: GPSC domain number  */
int psc_disable_domain(u32 domain_num)
{
	u32 pdctl;
	u32 ptcmd;
	pdctl = __raw_readl(KS2_PSC_BASE + PSC_REG_PDCTL(domain_num));
	pdctl = PSC_REG_PDCTL_SET_NEXT(pdctl, PSC_REG_VAL_PDCTL_NEXT_OFF);
	pdctl = PSC_REG_PDCTL_SET_PDMODE(pdctl, PSC_REG_VAL_PDCTL_PDMODE_SLEEP);
	__raw_writel(pdctl, KS2_PSC_BASE + PSC_REG_PDCTL(domain_num));
	ptcmd = __raw_readl(KS2_PSC_BASE + PSC_REG_PTCMD);
	ptcmd |= (u32)(1 << domain_num);
	__raw_writel(ptcmd, KS2_PSC_BASE + PSC_REG_PTCMD);
	return psc_wait(domain_num);
}