tree 5c16450269e7d732588eaac45f726e3b44610216
parent 6f40d21849067bad0cf173afdf6c29529baff3cf
author Yenkai Wang <ykwang@google.com> 1715214373 -0600
committer Yenkai Wang <ykwang@google.com> 1715286379 -0600

Revert the read register from 64 bits into 32 bits

Renode gdb server calls function GetRegisterUnsafe to get register data
when we run command `info registers` from the gdb client. The return
data type is UInt64 format for each register. And riscv gdb client will
receive double sized packet and report size error.

Reverting the register size enables us to use riscv gdb running commands
`info threads`, `thread 2` and `info registers` to dump register info on
CHERIot SMC core.

Bug: 331940020
Bypass-Presubmit-Reason: It is a config change to Sencha project.
Matcha is unaffected.

Change-Id: I372b21aca0afb9e3dd0662d8beb5632f40e01eef