diff --git a/hw/ppc.h b/hw/ppc.h
index 297f55060f7fb25cdf770a2467a2d4542ae04a4a..75eb11a32853412605fa3c01041b4f2616662c0b 100644
--- a/hw/ppc.h
+++ b/hw/ppc.h
@@ -33,3 +33,11 @@ void PPC_debug_write (void *opaque, uint32_t addr, uint32_t val);
 void ppc40x_irq_init (CPUState *env);
 void ppc6xx_irq_init (CPUState *env);
 void ppc970_irq_init (CPUState *env);
+
+/* PPC machines for OpenBIOS */
+enum {
+    ARCH_PREP = 0,
+    ARCH_MAC99,
+    ARCH_HEATHROW,
+};
+
diff --git a/hw/ppc_oldworld.c b/hw/ppc_oldworld.c
index 6de3b35341fcf4baf8f3bfac5b6abb77533d78e7..37f764629334b60c784f67d39eee3c0446c85588 100644
--- a/hw/ppc_oldworld.c
+++ b/hw/ppc_oldworld.c
@@ -38,12 +38,6 @@
 #define VGA_BIOS_SIZE 65536
 #define CFG_ADDR 0xf0000510
 
-enum {
-    ARCH_PREP = 0,
-    ARCH_MAC99,
-    ARCH_HEATHROW,
-};
-
 /* temporary frame buffer OSI calls for the video.x driver. The right
    solution is to modify the driver to use VGA PCI I/Os */
 /* XXX: to be removed. This is no way related to emulation */