diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 90eb475bf8..6ac818b04d 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2020-02-21  Tom Tromey  <tromey@adacore.com>
+
+	* mips-tdep.h (mips_pc_is_mips16, mips_pc_is_micromips): Parameter
+	type is CORE_ADDR.
+
 2020-02-21  Tom de Vries  <tdevries@suse.de>
 
 	PR gdb/25534
diff --git a/gdb/mips-tdep.h b/gdb/mips-tdep.h
index 17589e3907..9954620139 100644
--- a/gdb/mips-tdep.h
+++ b/gdb/mips-tdep.h
@@ -166,11 +166,11 @@ extern int mips_pc_is_mips (CORE_ADDR memaddr);
 
 /* Tell if the program counter value in MEMADDR is in a MIPS16
    function.  */
-extern int mips_pc_is_mips16 (struct gdbarch *gdbarch, bfd_vma memaddr);
+extern int mips_pc_is_mips16 (struct gdbarch *gdbarch, CORE_ADDR memaddr);
 
 /* Tell if the program counter value in MEMADDR is in a microMIPS
    function.  */
-extern int mips_pc_is_micromips (struct gdbarch *gdbarch, bfd_vma memaddr);
+extern int mips_pc_is_micromips (struct gdbarch *gdbarch, CORE_ADDR memaddr);
 
 /* Return the currently configured (or set) saved register size.  */
 extern unsigned int mips_abi_regsize (struct gdbarch *gdbarch);