target: Add 64-bit target address support

[fw/openocd] / src / target / lakemont.h

diff --git a/src/target/lakemont.h b/src/target/lakemont.h
index b07a05612f0fb55e28ceec3f17ccba25a105980c..98efd44a996e7cf1e49671a936c228bac4df61c4 100644 (file)
--- a/src/target/lakemont.h
+++ b/src/target/lakemont.h
@@ -95,10 +95,10 @@ int lakemont_init_arch_info(struct target *t, struct x86_32_common *x86_32);
 int lakemont_poll(struct target *t);
 int lakemont_arch_state(struct target *t);
 int lakemont_halt(struct target *t);
-int lakemont_resume(struct target *t, int current, uint32_t address,
+int lakemont_resume(struct target *t, int current, target_addr_t address,
                        int handle_breakpoints, int debug_execution);
 int lakemont_step(struct target *t, int current,
-                       uint32_t address, int handle_breakpoints);
+                       target_addr_t address, int handle_breakpoints);
 int lakemont_reset_assert(struct target *t);
 int lakemont_reset_deassert(struct target *t);
 int lakemont_update_after_probemode_entry(struct target *t);