semihosting: fix mode flags for local host open()
[fw/openocd] / src / target / armv8_dpm.h
index a6cade345e169d7fc6cb3bece4b9a230cc337d96..c30b04ffa64736666e4ad8dc9cc41cc154f651eb 100644 (file)
@@ -38,8 +38,6 @@ int armv8_dpm_modeswitch(struct arm_dpm *dpm, enum arm_mode mode);
 
 int armv8_dpm_write_dirty_registers(struct arm_dpm *dpm, bool bpwp);
 
-void armv8_dpm_report_wfar(struct arm_dpm *dpm, uint64_t wfar);
-
 /* DSCR bits; see ARMv7a arch spec section C10.3.1.
  * Not all v7 bits are valid in v6.
  */