REG_INFRA_RST2_CLR
val = ioread32(ao_base + REG_INFRA_RST2_CLR);
iowrite32(val, ao_base + REG_INFRA_RST2_CLR);