target: Add 64-bit target address support

[openocd.git] / src / target / nds32_tlb.h

diff --git a/src/target/nds32_tlb.h b/src/target/nds32_tlb.h
index ada2c198bd05f4dce22861f53cc2b6e4f67e6259..62512c11140dd92d6b9fe38d3d00aa22a02fa798 100644 (file)
--- a/src/target/nds32_tlb.h
+++ b/src/target/nds32_tlb.h
@@ -39,9 +39,9 @@ struct page_table_walker_info_s {
        uint32_t ppn_mask;
 };
 
-extern int nds32_probe_tlb(struct nds32 *nds32, const uint32_t virtual_address,
-               uint32_t *physical_address);
-extern int nds32_walk_page_table(struct nds32 *nds32, const uint32_t virtual_address,
-               uint32_t *physical_address);
+extern int nds32_probe_tlb(struct nds32 *nds32, const target_addr_t virtual_address,
+               target_addr_t *physical_address);
+extern int nds32_walk_page_table(struct nds32 *nds32, const target_addr_t virtual_address,
+               target_addr_t *physical_address);
 
 #endif /* OPENOCD_TARGET_NDS32_TLB_H */