Symbol: sddump_do_read_of_rmw