@@ -1642,9 +1642,10 @@ static int write_memory(struct target *target, target_addr_t address,
16421642 * the data was all copied. */
16431643 riscv_addr_t cur_addr = 0xbadbeef ;
16441644 riscv_addr_t fin_addr = address + (count * size );
1645- LOG_DEBUG ("writing until final address 0x%016lx" , fin_addr );
1645+ LOG_DEBUG ("writing until final address 0x%016" PRIx64 , fin_addr );
16461646 while ((cur_addr = riscv_read_debug_buffer_x (target , d_addr )) < fin_addr ) {
1647- LOG_DEBUG ("transferring burst starting at address 0x%016lx" , cur_addr );
1647+ LOG_DEBUG ("transferring burst starting at address 0x%016" PRIx64 ,
1648+ cur_addr );
16481649 riscv_addr_t start = (cur_addr - address ) / size ;
16491650 assert (cur_addr > address );
16501651 struct riscv_batch * batch = riscv_batch_alloc (
@@ -1769,7 +1770,7 @@ static riscv_reg_t riscv013_get_register(struct target *target, int hid, int rid
17691770 register_read_direct (target , & out , rid );
17701771 } else if (rid == GDB_REGNO_PC ) {
17711772 register_read_direct (target , & out , GDB_REGNO_DPC );
1772- LOG_DEBUG ("read PC from DPC: 0x%016lx" , out );
1773+ LOG_DEBUG ("read PC from DPC: 0x%016" PRIx64 , out );
17731774 } else if (rid == GDB_REGNO_PRIV ) {
17741775 uint64_t dcsr ;
17751776 register_read_direct (target , & dcsr , CSR_DCSR );
@@ -1797,11 +1798,11 @@ static void riscv013_set_register(struct target *target, int hid, int rid, uint6
17971798 if (rid <= GDB_REGNO_XPR31 ) {
17981799 register_write_direct (target , rid , value );
17991800 } else if (rid == GDB_REGNO_PC ) {
1800- LOG_DEBUG ("writing PC to DPC: 0x%016lx" , value );
1801+ LOG_DEBUG ("writing PC to DPC: 0x%016" PRIx64 , value );
18011802 register_write_direct (target , GDB_REGNO_DPC , value );
18021803 uint64_t actual_value ;
18031804 register_read_direct (target , & actual_value , GDB_REGNO_DPC );
1804- LOG_DEBUG (" actual DPC written: 0x%016lx" , actual_value );
1805+ LOG_DEBUG (" actual DPC written: 0x%016" PRIx64 , actual_value );
18051806 assert (value == actual_value );
18061807 } else if (rid == GDB_REGNO_PRIV ) {
18071808 uint64_t dcsr ;
0 commit comments