DVFSRC_VCORE
[DVFSRC_VCORE] = 0x6c,
[DVFSRC_VCORE] = 0x80,
u32 val = dvfsrc_readl(dvfsrc, DVFSRC_VCORE);
u32 val = dvfsrc_readl(dvfsrc, DVFSRC_VCORE);
dvfsrc_writel(dvfsrc, DVFSRC_VCORE, val);