ALTR_A10SR_REG_OFFSET   50 drivers/reset/reset-a10sr.c 	int index = ALTR_A10SR_HPS_RST_REG + ALTR_A10SR_REG_OFFSET(offset);
ALTR_A10SR_REG_OFFSET   74 drivers/reset/reset-a10sr.c 	int index = ALTR_A10SR_HPS_RST_REG + ALTR_A10SR_REG_OFFSET(offset);