Clean up debug printf.
I only need to see 64 bits of PC if the high bits are non-zero. Change-Id: I29397791da1e3f1705e573b2eaafc3eac202e178
This commit is contained in:
parent
f9af0b6cca
commit
6faa9ded26
|
@ -2798,7 +2798,7 @@ static int riscv013_get_register(struct target *target,
|
|||
int result = ERROR_OK;
|
||||
if (rid == GDB_REGNO_PC) {
|
||||
result = register_read(target, value, GDB_REGNO_DPC);
|
||||
LOG_DEBUG("read PC from DPC: 0x%016" PRIx64, *value);
|
||||
LOG_DEBUG("read PC from DPC: 0x%" PRIx64, *value);
|
||||
} else if (rid == GDB_REGNO_PRIV) {
|
||||
uint64_t dcsr;
|
||||
result = register_read(target, &dcsr, GDB_REGNO_DCSR);
|
||||
|
@ -2822,7 +2822,7 @@ static int riscv013_set_register(struct target *target, int hid, int rid, uint64
|
|||
if (rid <= GDB_REGNO_XPR31) {
|
||||
return register_write_direct(target, rid, value);
|
||||
} else if (rid == GDB_REGNO_PC) {
|
||||
LOG_DEBUG("writing PC to DPC: 0x%016" PRIx64, value);
|
||||
LOG_DEBUG("writing PC to DPC: 0x%" PRIx64, value);
|
||||
register_write_direct(target, GDB_REGNO_DPC, value);
|
||||
uint64_t actual_value;
|
||||
register_read_direct(target, &actual_value, GDB_REGNO_DPC);
|
||||
|
|
Loading…
Reference in New Issue