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