+/* Convert a psaddr_t to a CORE_ADDR. */
+
+static CORE_ADDR
+ps_addr_to_core_addr (psaddr_t addr)
+{
+ if (exec_bfd && bfd_get_sign_extend_vma (exec_bfd))
+ return (intptr_t) addr;
+ else
+ return (uintptr_t) addr;
+}
+
+/* Convert a CORE_ADDR to a psaddr_t. */
+
+static psaddr_t
+core_addr_to_ps_addr (CORE_ADDR addr)
+{
+ if (exec_bfd && bfd_get_sign_extend_vma (exec_bfd))
+ return (psaddr_t) (intptr_t) addr;
+ else
+ return (psaddr_t) (uintptr_t) addr;
+}
+