Symbol: ddr_perf_read_counter