Add read_counter device that counts the number of read accesses