/* psc_get_domain_num() - Get the domain number @mod_num: LPSC module number  */
u32 psc_get_domain_num(u32 mod_num)
/* psc_get_domain_num() - Get the domain number @mod_num: LPSC module number  */
u32 psc_get_domain_num(u32 mod_num)
{
	u32 domain_num;
	domain_num = __raw_readl(KS2_PSC_BASE + PSC_REG_MDCFG(mod_num));
	domain_num = PSC_REG_MDCFG_GET_PD(domain_num);
	return domain_num;
}