@@ -1617,9 +1617,10 @@ static int write_memory(struct target *target, target_addr_t address,
16171617 * the data was all copied. */
16181618 riscv_addr_t cur_addr = 0xbadbeef ;
16191619 riscv_addr_t fin_addr = address + (count * size );
1620- LOG_DEBUG ("writing until final address 0x%016lx" , fin_addr );
1620+ LOG_DEBUG ("writing until final address 0x%016" PRIx64 , fin_addr );
16211621 while ((cur_addr = riscv_read_debug_buffer_x (target , d_addr )) < fin_addr ) {
1622- LOG_DEBUG ("transferring burst starting at address 0x%016lx" , cur_addr );
1622+ LOG_DEBUG ("transferring burst starting at address 0x%016" PRIx64 ,
1623+ cur_addr );
16231624 riscv_addr_t start = (cur_addr - address ) / size ;
16241625 assert (cur_addr > address );
16251626 struct riscv_batch * batch = riscv_batch_alloc (
@@ -1744,7 +1745,7 @@ static riscv_reg_t riscv013_get_register(struct target *target, int hid, int rid
17441745 register_read_direct (target , & out , rid );
17451746 } else if (rid == GDB_REGNO_PC ) {
17461747 register_read_direct (target , & out , GDB_REGNO_DPC );
1747- LOG_DEBUG ("read PC from DPC: 0x%016lx" , out );
1748+ LOG_DEBUG ("read PC from DPC: 0x%016" PRIx64 , out );
17481749 } else if (rid == GDB_REGNO_PRIV ) {
17491750 uint64_t dcsr ;
17501751 register_read_direct (target , & dcsr , CSR_DCSR );
@@ -1772,11 +1773,11 @@ static void riscv013_set_register(struct target *target, int hid, int rid, uint6
17721773 if (rid <= GDB_REGNO_XPR31 ) {
17731774 register_write_direct (target , rid , value );
17741775 } else if (rid == GDB_REGNO_PC ) {
1775- LOG_DEBUG ("writing PC to DPC: 0x%016lx" , value );
1776+ LOG_DEBUG ("writing PC to DPC: 0x%016" PRIx64 , value );
17761777 register_write_direct (target , GDB_REGNO_DPC , value );
17771778 uint64_t actual_value ;
17781779 register_read_direct (target , & actual_value , GDB_REGNO_DPC );
1779- LOG_DEBUG (" actual DPC written: 0x%016lx" , actual_value );
1780+ LOG_DEBUG (" actual DPC written: 0x%016" PRIx64 , actual_value );
17801781 assert (value == actual_value );
17811782 } else if (rid == GDB_REGNO_PRIV ) {
17821783 uint64_t dcsr ;
0 commit comments