tree ec566679adf587c2ff11b41cfac8ec7b995af8ec
parent 41e4d5e42b6c3a78c2982756975225ef70fc2ae4
author Tor Jeremiassen <torerik@google.com> 1725652192 -0700
committer Tor Jeremiassen <torerik@google.com> 1725658685 -0700

Fixes issue in the RiscVCounterCsrHigh<> class.

PiperOrigin-RevId: 671861339
Change-Id: I3d35a82d48cd6a62fd5f009ef15cd3c1da9fd0fb