diff --git a/sim/ppc/ChangeLog b/sim/ppc/ChangeLog
index e6028a1743..4ea9dedd0f 100644
--- a/sim/ppc/ChangeLog
+++ b/sim/ppc/ChangeLog
@@ -1,3 +1,9 @@
+Fri Dec 15 15:55:56 1995  Michael Meissner  <meissner@tiktok.cygnus.com>
+
+	* corefile.h: Delete declarations for unknown functions.
+	* device.h: Ditto.
+	* interrupts.h: Ditto.
+
 Thu Dec 14 18:49:34 1995  Andrew Cagney  <cagney@highland.com.au>
 
 	* lf.c (lf_print_function_type): New function.  Munges a function
diff --git a/sim/ppc/device.h b/sim/ppc/device.h
index f5d513633f..55009eebe7 100644
--- a/sim/ppc/device.h
+++ b/sim/ppc/device.h
@@ -39,12 +39,6 @@
    All the devices in this model live in a tree. The following allow
    the location/manipulation of this tree */
 
-device INLINE_DEVICE *device_sibling
-(device *me);
-
-device INLINE_DEVICE *device_child
-(device *me);
-
 device INLINE_DEVICE *device_parent
 (device *me);
 
@@ -191,13 +185,6 @@ const char INLINE_DEVICE *device_find_next_property
 (device *me,
  const char *previous);
 
-void INLINE_DEVICE device_set_property
-(device *me,
- const char *property,
- const void *array,
- int sizeof_array);
-
-
 /* INLINE_DEVICE void device_add_property
    No such external function, all properties, when added are explictly
    typed */
@@ -538,6 +525,7 @@ void EXTERN_DEVICE device_ioctl
    indirectly via OpenBoot calls.  The following provide a higher
    level software interface to the devices */
 
+#if 0
 device_instance INLINE_DEVICE *device_instance_open
 (device *me,
  const char *device_specifier);
@@ -565,7 +553,7 @@ device INLINE_DEVICE *device_instance_device
 
 const char INLINE_DEVICE *device_instance_name
 (device_instance *instance);
-
+#endif