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